Automatic Conformance Checking of Role-Based Access Control Policies via Alloy.
David J. PowerMark SlaymakerAndrew SimpsonPublished in: ESSoS (2011)
Keyphrases
- access control policies
- access control
- access control systems
- conflict resolution
- security policies
- trust negotiation
- distributed environment
- extended logic programs
- role based access control
- fine grained
- access control models
- security mechanisms
- access rights
- access control mechanism
- network security
- third party
- distributed systems
- artificial intelligence
- data mining