On the security of public key protocols. (1983)

by D Dolev, A C Yao
Venue:IEEE Transactions on Information Theory,