REPROSEC
AboutDY*Case StudiesPublications

An Attack on the Needham-Schroeder Public-Key Authentication Protocol

Gavin Lowe

.

Gavin Lowe, β€œAn Attack on the Needham-Schroeder Public-Key Authentication Protocol,” Inf. Process. Lett., vol. 56, no. 3, pp. 131–133, 1995.
BibTeX
@article{Lowe-IPL-1995,
  author = {Lowe, Gavin},
  journal = {{Inf. Process. Lett.}},
  number = {3},
  pages = {131--133},
  title = {{An Attack on the Needham-Schroeder Public-Key Authentication Protocol}},
  volume = {56},
  year = {1995}
}

REPROSEC

  • REPROSEC
  • reprosec

Rigorous/Reproducible Engineering for PROvable (protocol) SECurity