REPROSEC
AboutDY*Case StudiesPublications

Using Encryption for Authentication in Large Networks of Computers

Roger M. Needham, Michael D. Schroeder

.

Roger M. Needham and Michael D. Schroeder, “Using Encryption for Authentication in Large Networks of Computers,” Communications of the ACM, vol. 21, no. 12, pp. 993–999, Dec. 1978.
BibTeX
@article{Needham-Schroeder-CACM-1978,
  author = {Needham, Roger M. and Schroeder, Michael D.},
  title = {{Using Encryption for Authentication in Large Networks of Computers}},
  year = {1978},
  volume = {21},
  number = {12},
  journal = {Communications of the ACM},
  month = dec,
  pages = {993--999}
}

REPROSEC

  • REPROSEC
  • reprosec

Rigorous/Reproducible Engineering for PROvable (protocol) SECurity