A.C.: On the security of public key protocols (1983)

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