- Tytuł:
- Two semantics of trust management language with negation
- Autorzy:
- Felkner, A.
- Powiązania:
- https://bibliotekanauki.pl/articles/308637.pdf
- Data publikacji:
- 2013
- Wydawca:
- Instytut Łączności - Państwowy Instytut Badawczy
- Tematy:
-
access control
inference system
monotonicity
role-based trust management
set-theoretic semantics - Opis:
- 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.
- Źródło:
-
Journal of Telecommunications and Information Technology; 2013, 4; 102-108
1509-4553
1899-8852 - Pojawia się w:
- Journal of Telecommunications and Information Technology
- Dostawca treści:
- Biblioteka Nauki
Artykuł