Title :
A formal examination of roles and permissions in access control
Author :
Balbiani, Philippe
Author_Institution :
Inst. de recherche en informatique de Toulouse, Universit´´e Paul Sabatier, Toulouse, France
Abstract :
Summary form only given. This paper describes a model for access control based on roles and permissions. Then it considers computational problems related to the verification of properties in protection systems defined from our model.
Keywords :
authorisation; formal verification; access control; formal examination; permissions; property verification; protection systems; roles; Access control; Cryptography; Humans; Permission; Protection; Robots; Safety;
Conference_Titel :
Computer Systems and Applications, 2005. The 3rd ACS/IEEE International Conference on
Print_ISBN :
0-7803-8735-X
DOI :
10.1109/AICCSA.2005.1387087
