REPROSEC
AboutDY*Case StudiesPublications

On the Security of Public Key Protocols

Danny Dolev, Andrew Chi-Chih Yao

.

Danny Dolev and Andrew Chi-Chih Yao, β€œOn the Security of Public Key Protocols,” IEEE Trans. Inf. Theor., vol. 29, no. 2, pp. 198–208, 1983.
BibTeX
@article{Dolev-Yao-1983,
  author = {Dolev, Danny and Yao, Andrew Chi{-}Chih},
  title = {{On the Security of Public Key Protocols}},
  journal = {{IEEE Trans. Inf. Theor.}},
  year = {1983},
  volume = {29},
  number = {2},
  pages = {198--208}
}

REPROSEC

  • REPROSEC
  • reprosec

Rigorous/Reproducible Engineering for PROvable (protocol) SECurity