@phdthesis{Simpson_1996,
  title = "Safety through Security",
  author = "Andrew Simpson",
  year = "1996",
  school = "Oxford University Computing Laboratory",
}