Ray Bird Inder S. Gopal Amir Herzberg Philippe A. Janson Shay Kutten Refik Molva Moti Yung Systematic Design of Two-Party Authentication Protocols. 44-61 http://dx.doi.org/10.1007/3-540-46766-1_3 1991 conf/crypto/1991 CRYPTO db/conf/crypto/crypto91.html#BirdGHJKMY91