Specification of Role and Attribute Transitions for Secure Information System Access

Author(s)
Evered, Mark P
Publication Date
2012
Abstract
In this paper, we describe a formal specification language (RASP) for expressing fine-grained access control constraints in information systems. The design of the language is motivated by two HIS case studies which demonstrate the complexity of the access constraints which arise if minimal (need-to-know) access is to be strictly enforced. RASP supports modularity, parameterization, role acquisition, constraint expressions and a symmetrical approach to role transitions and attribute transitions. No existing access control specification language supports all of these complex, realistic requirements.
Citation
Proceedings of the Second International Conference on Digital Information and Communication Technology and it's Applications (DICTAP), p. 230-235
ISBN
9781467307321
9781467307345
9781467307338
Link
Language
en
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Title
Specification of Role and Attribute Transitions for Secure Information System Access
Type of document
Conference Publication
Entity Type
Publication

Files:

NameSizeformatDescriptionLink