Towards Formal Verification of Role-Based Access Control Policies.
Somesh JhaNinghui LiMahesh V. TripunitaraQihua WangWilliam H. WinsboroughPublished in: IEEE Trans. Dependable Secur. Comput. (2008)
Keyphrases
- formal verification
- access control policies
- access control
- conflict resolution
- access control systems
- security policies
- model checking
- distributed environment
- model checker
- extended logic programs
- fine grained
- trust negotiation
- bounded model checking
- role based access control
- access control models
- automated verification
- symbolic model checking
- loosely coupled
- access control mechanism
- security mechanisms
- artificial intelligence
- access rights
- formal methods
- security requirements
- information flow
- distributed systems