On the security of public key protocols (1983)

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