Ralf C. Hauser, E. Stewart Lee: Verification and Modelling of Authentication Protocols. ESORICS 1992: 141-154