A Formal Semantic Model for the Access Specification Language RASP

Author(s)
Evered, Mark P
Publication Date
2012
Abstract
The access specification language RASP extends traditional role-based access control (RBAC) concepts to provide greater expressive power often required for fine-grained access control in sensitive information systems. Existing formal models of RBAC are not sufficient to describe these extensions. In this paper, we define a new model for RBAC which formalizes the RASP concepts of controlled role appointment and transitions, object attributes analogous to subject roles and a transitive role/attribute derivation relationship.
Citation
International Journal of Cyber-Security and Digital Forensics, 1(2), p. 152-159
ISSN
2305-0012
Link
Publisher
Society of Digital Information and Wireless Communications (SDIWC)
Title
A Formal Semantic Model for the Access Specification Language RASP
Type of document
Journal Article
Entity Type
Publication

Files:

NameSizeformatDescriptionLink