Loading...
Please wait, while we are loading the content...
Similar Documents
Formal Specification for Role Based Access Control User / Role and Role / Role Relationship Management
| Content Provider | Semantic Scholar |
|---|---|
| Author | Chase, Chevy |
| Copyright Year | 2014 |
| Abstract | Role Based Access Control (RBAC), an access control mechanism, reduces the cost of administering access control policies as well as making the process less error-prone. The Admin Tool developed for the NIST RBAC Model manages user/role and role/role relationships stored in the RBAC Database. This paper presents a formal specification of the RBAC Database and Admin Tool operations. Consistency requirements for the RBAC Database are defined as a set of properties. Alternative properties, substantially simpler to verify in an implementation, are shown to be equivalent. In addition, the paper defines the semantics of Admin Tool operations, and shows that, given a consistent RBAC Database and an operation which meets specified conditions, the RBAC Database remains consistent after the operation is performed. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | https://ws680.nist.gov/publication/get_pdf.cfm?pub_id=151183 |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
