@inproceedings{ESSOS11,
  title = "Automatic conformance checking of role-based access control policies in Alloy",
  author = "David Power and Mark Slaymaker and Andrew Simpson",
  year = "2011",
  booktitle = "Proceedings of Engineering Secure Software and Systems (ESSoS 2011)",
  pages = "15--28",
  publisher = "Springer-Verlag Lecture Notes in Computer Science, volume 6542",
}