Representation and Reasoning on RBAC: A Nonmonotonic Approach

Wei Zhang,Zuoquan Lin
DOI: https://doi.org/10.1007/978-3-642-39787-5_19
2013-01-01
Abstract:Role-Based Access Control (RBAC) is recognized as the predominant model for access control nowadays. However, the ANSI RBAC model provides no mechanism for various rules and policies. To address this issue, a formal logical foundation of RBAC is urgently needed. In this paper, we present an ASPbased nonmonotonic approach to formalize ANIS RBAC model. The proposed formalization provides a proper expression for RBAC components, and an efficient reasoning mechanism for authorization decisions. We show that the formalism can capture RBAC models well and accomplish specific nonmonotonic reasoning tasks flexibly.
What problem does this paper attempt to address?