Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR

Gavin Lowe. Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR. In Tiziana Margaria, Bernhard Steffen, editors, Tools and Algorithms for Construction and Analysis of Systems, Second International Workshop, TACAS 96, Passau, Germany, March 27-29, 1996, Proceedings. Volume 1055 of Lecture Notes in Computer Science, pages 147-166, Springer, 1996.

@inproceedings{Lowe96:0,
  title = {Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR},
  author = {Gavin Lowe},
  year = {1996},
  tags = {protocol},
  researchr = {https://researchr.org/publication/Lowe96%3A0},
  cites = {0},
  citedby = {0},
  pages = {147-166},
  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},
  volume = {1055},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61042-1},
}