Karthick Jayaraman, Vijay Ganesh, Mahesh V. Tripunitara, Martin C. Rinard, Steve J. Chapin. Automatic error finding in access-control policies. In Yan Chen, George Danezis, Vitaly Shmatikov, editors, Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011. pages 163-174, ACM, 2011. [doi]
Abstract is missing.