On the security of public key protocols - Dolev, Danny; Yao, Andrew C. (1981)
Mikroreprod. e. Ms. 22 S.