On the security of public key protocols - Dolev, D.; Yao, A. C. (1981)
Stanford, Univ., Diss.