Towards Formal Verification of Role-Based Access Control Policies


Specifying and managing access control policies is a challenging problem. We propose to develop formal verification techniques for access control policies to improve the current state of the art of policy specification and management. In this paper, we formalize classes of security analysis problems in the context of role-based access control. We show that… (More)
DOI: 10.1109/TDSC.2007.70225


4 Figures and Tables


Citations per Year

93 Citations

Semantic Scholar estimates that this publication has 93 citations based on the available data.

See our FAQ for additional information.