Klaus Gaarder

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - 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]