DocumentCode
1842701
Title
A formal model for role-based access control with constraints
Author
Giuri, Luigi ; Iglio, Pietro
Author_Institution
Fondazione Ugo Bordoni, Rome, Italy
fYear
1996
fDate
10-12 Jun 1996
Firstpage
136
Lastpage
145
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Security Foundations Workshop, 1996. Proceedings., 9th IEEE
Conference_Location
Kenmare
ISSN
1063-6900
Print_ISBN
0-8186-7522-5
Type
conf
DOI
10.1109/CSFW.1996.503698
Filename
503698
Link To Document