Klaus Gaarder

Publication Activity (10 Years)

Years Active: 1990-1991
Publications (10 Years): 0

Publications

Klaus Gaarder, Einar Snekkenes
Applying a Formal Analysis Technique to the CCITT X.509 Strong Two-Way Authentication Protocol. J. Cryptol. 3 (2) (1991)
Klaus Gaarder, Einar Snekkenes
On The Formal Analysis of PKCS Authentication Protocols. AUSCRYPT (1990)