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

Gavin Lowe. Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR. Software - Concepts and Tools, 17(3):93-102, 1996.

@article{Lowe96:1,
  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%3A1},
  cites = {0},
  citedby = {0},
  journal = {Software - Concepts and Tools},
  volume = {17},
  number = {3},
  pages = {93-102},
}