@phdthesis{murray10dphil,
  title = "Analysing the Security Properties of Object-Capability Patterns",
  author = "Toby Murray",
  year = "2010",
  school = "University of Oxford",
}
@inproceedings{murray10-infoflow,
  title = "Analysing the Information Flow Properties of Object-Capability Patterns",
  author = "Toby Murray and Gavin Lowe",
  year = "2010",
  booktitle = "Proceedings of the Sixth International Workshop on Formal Aspects of Security and Trust (FAST2009)",
  pages = "81-95",
  series = "Lecture Notes in Computer Science",
  volume = "5983",
  doi = "10.1007/978-3-642-12459-4_7",
}
@conference{murray09-avocs08,
  title = "On Refinement-Closed Security Properties and Nondeterministic Compositions",
  author = "Toby Murray and Gavin Lowe",
  year = "2009",
  booktitle = "Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems (AVoCS '08)",
  number = "2",
  pages = "49-68",
  series = "Electronic Notes in Theoretical Computer Science",
  volume = "250",
  doi = "10.1016/j.entcs.2009.08.017",
}
@inproceedings{murray08-fcsarspawits,
  title = "Analysing Object-Capability Security",
  author = "Toby Murray",
  year = "2008",
  booktitle = "Proceedings of the Joint Workshop on Foundations of Computer Security, Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (FCS-ARSPA-WITS'08)",
}
@article{article/Murray08,
  title = "Non-Delegatable Authorities in Capability Systems",
  author = "Toby Murray and Duncan Grove",
  year = "2008",
  journal = "Journal of Computer Security",
  number = "6",
  pages = "743-759",
  publisher = "IOS Press",
  volume = "16",
  doi = "10.3233/JCS-2008-0314",
}
@inproceedings{inproc/Grove2007,
  title = "An Overview of the Annex System",
  author = "Duncan Grove and Toby Murray and Chris Owen and Chris North and Jeremy Jones and M.R. Beaumont and B.D. Hopkins",
  year = "2007",
  booktitle = "{Proceedings of the Twenty-Third Annual Computer Security Applications Conference (ACSAC'07)}",
  doi = "10.1109/ACSAC.2007.8",
}
@inproceedings{inproc/Murray2007,
  title = "Authority Analysis for Least Privilege Environments",
  author = "Toby Murray and Gavin Lowe",
  year = "2007",
  booktitle = "{Proceedings of Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis (FCS-ARSPA'07)}",
}