@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",
}
@inproceedings{Simpson_et_al_2010b,
  title = "On the secure sharing and aggregation of data to support Systems Biology research",
  author = "Andrew Simpson and Mark Slaymaker and David Gavaghan",
  year = "2010",
  booktitle = "Proceedings of the 7th International Conference on Data Integration in the Life Sciences (DILS 2010)",
  pages = "58--73",
  publisher = "Springer-Verlag Lecture Notes in Computer Science, volume 6254",
}