Application of deontic logic in role-based access control

• Autorzy: Kołaczek G.
• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

formal logic; access control; RBAC; system security; reasoning automation

PL

informatyka

• Wydawca: Oficyna Wydawnicza Uniwersytetu Zielonogórskiego
• Czasopismo: International Journal of Applied Mathematics and Computer Science
• Rocznik: 2002
• Tom: Vol. 12, no 2
• Strony: 269--275
• Opis fizyczny: Bibliogr.

Twórcy

autor

Kołaczek G.

• Institute of Control and Systems Engineering Technical University of Wroclaw ul. Wybrzeze S. Wyspianskiego 27, 50-370 Wroclaw, Poland,