On The Formal Analysis of PKCS Authentication Protocols. - Klaus Gaarder; Einar Snekkenes (AUSCRYPT, 1990)

Applying a Formal Analysis Technique to the CCITT X.509 Strong Two-Way Authentication Protocol. - Klaus Gaarder; Einar Snekkenes (J. Cryptol., 1991)