Automatic error finding in access-control policies.

Karthick Jayaraman Vijay Ganesh Mahesh V. Tripunitara Martin C. Rinard Steve J. Chapin

Published in: CCS (2011)

Keyphrases

security mechanisms
access control policies
access control
access control systems
extended logic programs
social networks
data streams
business processes
distributed environment
security policies
trust relationships