@inproceedings{Slaymaker-2010,
  title = "Formalising and validating RBAC-to-XACML translation using lightweight formal methods",
  author = "Mark Slaymaker and David Power and Andrew Simpson",
  year = "2010",
  booktitle = "Proceedings of Abstract State Machines, Alloy, B and Z (ABZ 2010)",
  pages = "349--362",
  publisher = "Springer-Verlag Lecture Notes in Computer Science, volume 5977",
}