Search for: [Description = "The family of Role\-based Trust management languages is used for representing security policies by defining a formalism, which uses credentials to handle trust in decentralized, distributed access control systems. A credential provides information about the privileges of users and the security policies issued by one or more trusted authorities. The main topic of this paper is RT⊖, a language which provides a carefully controlled form of non\-monotonicity. The core part of the paper defines two different semantics of RT⊖ language – a relational, set\-theoretic semantics for the language, and an inference system, which is a kind of operational semantics. The set\-theoretic semantics maps roles to a set of entity names. In the operational semantics credentials can be derived from an initial set of credentials using a set of inference rules. The soundness and the completeness of the inference system with respect to the set\-theoretic semantics of RT⊖ will be proven."]

Number of results: 1