@inproceedings{conf/tacas/Lowe96,
  title = "Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR",
  author = "Gavin Lowe",
  year = "1996",
  booktitle = "Tools and Algorithms for Construction and Analysis of Systems, Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996, Proceedings",
  editor = "Tiziana Margaria and Bernhard Steffen",
  isbn = "3-540-61042-1",
  pages = "147-166",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://www.cs.ox.ac.uk/people/gavin.lowe/Security/Papers/NSFDR.ps",
  volume = "1055",
}