Login / Signup
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