Automatic error finding in access-control policies (2011)

by Karthick Jayaraman, Vijay Ganesh, Mahesh Tripunitara, Martin Rinard, Steve Chapin
Venue:In Proceedings of the 18th ACM conference on Computer and communications security, CCS ’11