Geodesic
Application of deontic logic in role-based access control
International Journal of Applied Mathematics and Computer Science, Tome 12 (2002) no. 2, pp. 269-275.

Voir la notice de l'article provenant de la source Library of Science

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
Mots-clés : informatyka 
@article{IJAMCS_2002_12_2_a12,
     author = {Ko{\l}aczek, G.},
     title = {Application of deontic logic in role-based access control},
     journal = {International Journal of Applied Mathematics and Computer Science},
     pages = {269--275},
     publisher = {mathdoc},
     volume = {12},
     number = {2},
     year = {2002},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/IJAMCS_2002_12_2_a12/}
}
TY  - JOUR
AU  - Kołaczek, G.
TI  - Application of deontic logic in role-based access control
JO  - International Journal of Applied Mathematics and Computer Science
PY  - 2002
SP  - 269
EP  - 275
VL  - 12
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IJAMCS_2002_12_2_a12/
LA  - en
ID  - IJAMCS_2002_12_2_a12
ER  - 
%0 Journal Article
%A Kołaczek, G.
%T Application of deontic logic in role-based access control
%J International Journal of Applied Mathematics and Computer Science
%D 2002
%P 269-275
%V 12
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IJAMCS_2002_12_2_a12/
%G en
%F IJAMCS_2002_12_2_a12
Kołaczek, G. Application of deontic logic in role-based access control. International Journal of Applied Mathematics and Computer Science, Tome 12 (2002) no. 2, pp. 269-275. http://geodesic.mathdoc.fr/item/IJAMCS_2002_12_2_a12/