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

Gavin Lowe

TACAS.

Gavin Lowe, “Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR,” in TACAS, 1996, pp. 147–166.

BibTeX

@inproceedings{Lowe-TACAS-1996,
  author = {Lowe, Gavin},
  title = {{Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR}},
  year = {1996},
  booktitle = {TACAS},
  pages = {147--166}
}