On the Security of Public-Key Protocols (1983)

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