TY - GEN A1 - Kołaczek, Grzegorz A2 - Korbicz, Józef - red. A2 - Uciński, Dariusz - red. PB - Zielona Góra: Uniwersytet Zielonogórski N2 - 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. L1 - http://www.zbc.uz.zgora.pl/Content/58934/AMCS_2002_12_2_13.pdf L2 - http://www.zbc.uz.zgora.pl/Content/58934 KW - formal logic KW - access control KW - RBAC KW - system security KW - reasoning automation T1 - Application of deontic logic in role-based access control UR - http://www.zbc.uz.zgora.pl/dlibra/docmetadata?id=58934 ER -