@phdthesis{dilloway08thesis,
  title = "On the Specication and Analysis of Secure Transport Layers",
  author = "Christopher Dilloway",
  year = "2008",
  school = "Oxford University Computing Laboratory",
  url = "http://web.comlab.ox.ac.uk/activities/security/papers/dilloway_thesis.pdf",
}