Abstract
Role-Based Access Control (RBAC) has been widely used for expressing access control policies. Administrative Role-Based Access Control (ARBAC) specifies how an RBAC policy may be changed by each administrator. Because sequences of changes by different administrators may interact in unintended ways, it is often difficult to fully understand the effect of an ARBAC policy by simple inspection. This paper presents RBAC-PAT, a tool for analyzing RBAC and ARBAC policies, which supports analysis of various properties including reachability, availability, containment, weakest precondition, dead roles, and information flows. © 2009 Springer Berlin Heidelberg.
Cite
CITATION STYLE
Gofman, M. I., Luo, R., Solomon, A. C., Zhang, Y., Yang, P., & Stoller, S. D. (2009). RBAC-PAT: A policy analysis tool for role based access control. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5505 LNCS, pp. 46–49). https://doi.org/10.1007/978-3-642-00768-2_4
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
