Applying a Formal Analysis Technique to the CCITT X.509 Strong Two-Way Authentication Protocol

K. Gaarder and E. Snekkenes

Volume 3, Number 2, 1991, Pages 81-98