Automatic Conformance Checking of Role-Based Access Control Policies via Alloy.

David J. Power Mark Slaymaker Andrew Simpson

Published 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