Application of deontic logic in role-based access control

Szczegóły
Opis

Tytuł:: Application of deontic logic in role-based access control
Autorzy:: Kołaczek, G.
Tematy:: informatyka
formal logic
access control
RBAC
system security
reasoning automation
Data publikacji:: 2002
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Język:: angielski
Prawa:: Wszystkie prawa zastrzeżone. Swoboda użytkownika ograniczona do ustawowego zakresu dozwolonego użytku
Źródło:: International Journal of Applied Mathematics and Computer Science; 2002, 12, 2; 269-275
1641-876X
2083-8492
Dostawca treści:: Biblioteka Nauki
: Artykuł

Przejdź do źródła

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.

Informacja

Application of deontic logic in role-based access control