Core role-based access control: efficient implementations by transformations.

Yanhong A. Liu,Chen Wang,Michael Gorbovitski,Tom Rothamel,Yongxi Cheng,Yingchao Zhao,Jing Zhang
DOI: https://doi.org/10.1145/1111542.1111562
2006-01-01
Abstract:ABSTRACTThis paper describes a transformational method applied to the core component of role-based access control (RBAC), to derive efficient implementations from a specification based on the ANSI standard for RBAC. The method is based on the idea of incrementally maintaining the result of expensive set operations, where a new method is described and used for systematically deriving incrementalization rules. We calculate precise complexities for three variants of efficient implementations as well as for a straightforward implementation based on the specification. We describe successful prototypes and experiments for the efficient implementations and for automatically generating efficient implementations from straightforward implementations.
What problem does this paper attempt to address?