@conference{chris08csf,
  title = "Specifying Secure Transport Layers",
  author = "Christopher Dilloway and Gavin Lowe",
  year = "2008",
  booktitle = "21st IEEE Computer Security Foundations Symposium (CSF 21)",
}