On the security of public key protocols (1983)

by D Dolev, A C Yao
Venue:IEEETransactions on Information Theory IT-29