P. Balbiani,
"A formal examination of roles and permissions in access control,"
Computer Systems and Applications, ACS/IEEE International Conference on, pp. 96-I, ACS/IEEE 2005 International Conference on Computer Systems and Applications (AICCSA'05), 2005.
BibTex
x
@article{
10.1109/AICCSA.2005.1387087, author = {P. Balbiani}, title = {A formal examination of roles and permissions in access control}, journal ={Computer Systems and Applications, ACS/IEEE International Conference on}, volume = {0}, year = {2005}, isbn = {0-7803-8735-X}, pages = {96-I}, doi = {http://doi.ieeecomputersociety.org/10.1109/AICCSA.2005.1387087}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }
RefWorks Procite/RefMan/Endnote
x
TY - CONF JO - Computer Systems and Applications, ACS/IEEE International Conference on TI - A formal examination of roles and permissions in access control SN - 0-7803-8735-X SP96 EPI A1 - P. Balbiani, PY - 2005 VL - 0 JA - Computer Systems and Applications, ACS/IEEE International Conference on ER -
P. Balbiani, Inst. de recherche en informatique de Toulouse, Universit'e Paul Sabatier, Toulouse, France
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.
Citation:
P. Balbiani, "A formal examination of roles and permissions in access control," aiccsa, pp.96-I, ACS/IEEE 2005 International Conference on Computer Systems and Applications (AICCSA'05), 2005