On the security of public-key protocols. (1983)

by D Dolev, A Yao
Venue:IEEE Trans. Information Theory,