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]
@inproceedings{JayaramanGTRC11,
title = {Automatic error finding in access-control policies},
author = {Karthick Jayaraman and Vijay Ganesh and Mahesh V. Tripunitara and Martin C. Rinard and Steve J. Chapin},
year = {2011},
doi = {10.1145/2046707.2046727},
url = {http://doi.acm.org/10.1145/2046707.2046727},
researchr = {https://researchr.org/publication/JayaramanGTRC11},
cites = {0},
citedby = {0},
pages = {163-174},
booktitle = {Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011},
editor = {Yan Chen and George Danezis and Vitaly Shmatikov},
publisher = {ACM},
isbn = {978-1-4503-0948-6},
}