@phdthesis{murray10dphil,
  title = "Analysing the Security Properties of Object-Capability Patterns",
  author = "Toby Murray",
  year = "2010",
  school = "University of Oxford",
}