@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)",
}