Title :
A formal model for role-based access control with constraints
Author :
Giuri, Luigi ; Iglio, Pietro
Author_Institution :
Fondazione Ugo Bordoni, Rome, Italy
Abstract :
The aim of this work is to give a formal foundation to the notion of role-based access control through the introduction of a new model and the formal specification of its semantics. The proposed model takes into account all the main topics currently under discussion in this area, including constraints and separation of duties. Moreover, it is suitable both for conceptual design purpose and direct implementation within real systems
Keywords :
access control; authorisation; formal specification; security of data; conceptual design; constraints; direct implementation; formal model; formal specification; real systems; role-based access control; semantics; Access control; Computer security; Formal specifications; Government; Object oriented databases; Object oriented modeling; Relational databases; Transaction databases;
Conference_Titel :
Computer Security Foundations Workshop, 1996. Proceedings., 9th IEEE
Conference_Location :
Kenmare
Print_ISBN :
0-8186-7522-5
DOI :
10.1109/CSFW.1996.503698
