%0 Conference Proceedings
%T The Semantics of Role-Based Trust Management Languages
%+ Warsaw University of Technology [Warsaw]
%+ Computer Emergency Response Team (Research and Academic Computer Network (NASK)) (CERT Polska)
%A Felkner, Anna
%A Sacha, Krzysztof
%Z Part 2: Modelling and Formal Methods in Software Development
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 4th Central and East European Conference on Software Engineering Techniques (CEESET)
%C Krakow, Poland
%Y David Hutchison
%Y Takeo Kanade
%Y Madhu Sudan
%Y Demetri Terzopoulos
%Y Doug Tygar
%Y Moshe Y. Vardi
%Y Gerhard Weikum
%Y Tomasz Szmuc
%Y Marcin Szpyrka
%Y Jaroslav Zendulka
%Y Josef Kittler
%Y Jon M. Kleinberg
%Y Friedemann Mattern
%Y John C. Mitchell
%Y Moni Naor
%Y Oscar Nierstrasz
%Y C. Pandu Rangan
%Y Bernhard Steffen
%I Springer
%3 Advances in Software Engineering Techniques
%V LNCS-7054
%P 179-189
%8 2009-10-12
%D 2009
%R 10.1007/978-3-642-28038-2_14
%Z Computer Science [cs]Conference papers
%X Role-based Trust management (RT) languages are used for representing policies and credentials in decentralized, distributed access control systems. RT languages combine trust management and role-based access control features. A credential provides information about the keys, rights and qualifications from one or more trusted authorities. The paper presents a set-theoretic semantics of Role-based Trust management languages, which maps a role to a set of sets of entity names. The semantics applies not only to the basic language of the family RT0, but also to a much more sophisticated RTT, which provides manifold roles and role-product operators to express threshold and separation-of-duty policies. A manifold role defines sets of entities whose cooperation satisfies the manifold role. It enables to express a such a condition, which need more than one member of a role to effectively fulfill the particular task.
%G English
%Z TC 2
%2 https://inria.hal.science/hal-01527385/document
%2 https://inria.hal.science/hal-01527385/file/978-3-642-28038-2_14_Chapter.pdf
%L hal-01527385
%U https://inria.hal.science/hal-01527385
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC2
%~ IFIP-LNCS-7054
%~ IFIP-CEESET