online read us now
Paper details
Number 2 - June 2002
Volume 12 - 2002
Application of deontic logic in role-based access control
Grzegorz Kołaczek
Abstract
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.
Keywords
formal logic, access control, RBAC, system security, reasoning automation