@misc{Kołaczek_Grzegorz_Application,
 author={Kołaczek, Grzegorz},
 howpublished={online},
 publisher={Zielona Góra: Uniwersytet Zielonogórski},
 language={eng},
 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.},
 type={artykuł},
 title={Application of deontic logic in role-based access control},
 keywords={formal logic, access control, RBAC, system security, reasoning automation},
}