- Tytuł:
- Application of deontic logic in role-based access control
- Autorzy:
- Kołaczek, G.
- Powiązania:
- https://bibliotekanauki.pl/articles/907988.pdf
- Data publikacji:
- 2002
- Wydawca:
- Uniwersytet Zielonogórski. Oficyna Wydawnicza
- Tematy:
-
informatyka
formal logic
access control
RBAC
system security
reasoning automation - Opis:
- The paper presents a short overview of the foundations of the Role-Based Access Control Modal Model and its properties. In particular, the translation of these model formulae to the first-order logic formulae in a form of Horn's clauses is analysed. The automation of processes and mechanisms related to access control on the basis of logical automated reasoning and the PROLOG language are described.
- Źródło:
-
International Journal of Applied Mathematics and Computer Science; 2002, 12, 2; 269-275
1641-876X
2083-8492 - Pojawia się w:
- International Journal of Applied Mathematics and Computer Science
- Dostawca treści:
- Biblioteka Nauki
Artykuł