Klaus Gaarder

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1991

2 Klaus Gaarder, Einar Snekkenes: Applying a Formal Analysis Technique to the CCITT X.509 Strong Two-Way Authentication Protocol. J. Cryptology 3(2): 81-98 (1991)

1990

1 Klaus Gaarder, Einar Snekkenes: On The Formal Analysis of PKCS Authentication Protocols. AUSCRYPT 1990: 106-121

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

Coauthor Index

1 Einar Snekkenes [1] [2]