ACS/IEEE 2005 International Conference on Computer Systems and Applications (AICCSA'05)
A formal examination of roles and permissions in access control
Cairo, Egypt
January 03-January 06
ISBN: 0-7803-8735-X
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.