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} }