Login / Signup

Mohawk: Abstraction-Refinement and Bound-Estimation for Verifying Access Control Policies.

Karthick JayaramanMahesh V. TripunitaraVijay GaneshMartin C. RinardSteve J. Chapin
Published in: ACM Trans. Inf. Syst. Secur. (2013)
Keyphrases
  • access control policies
  • conflict resolution
  • access control
  • distributed environment
  • access control systems
  • extended logic programs
  • low cost
  • fine grained
  • security policies
  • logic programs
  • software architecture