DocumentCode
2441640
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
fYear
2005
fDate
2005
Firstpage
96
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Systems and Applications, 2005. The 3rd ACS/IEEE International Conference on
Print_ISBN
0-7803-8735-X
Type
conf
DOI
10.1109/AICCSA.2005.1387087
Filename
1387087
Link To Document