@article{TLS-paper,
  title = "Analysing TLS in the strand spaced model",
  author = "Allaa Kamil and Gavin Lowe",
  year = "2011",
  journal = "Journal of Computer Security",
  number = "5",
  pages = "975--1025",
  url = "http://www.cs.ox.ac.uk/gavin.lowe/Papers/TLSpaper.pdf",
  volume = "19",
}