@inproceedings{bbfb6a36d4cb4a19855343ec714cffe6,
title = "Core role-based access control: Efficient implementations by transformations",
abstract = "This 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.",
keywords = "Access control, Complexity guarantees, Incrementalization, Optimization, Transformation",
author = "Liu, \{Yanhong A.\} and Chen Wang and Michael Gorbovitski and Tom Rothamel and Yongxi Cheng and Yingchao Zhao and Jing Zhang",
year = "2006",
doi = "10.1145/1111542.1111562",
language = "English",
isbn = "1595931961",
series = "Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation",
pages = "112--120",
booktitle = "PEPM 2006",
note = "2006 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation ; Conference date: 09-01-2006 Through 10-01-2006",
}