Klaus Gaarder

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	1991
j1		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
c1		Klaus Gaarder, Einar Snekkenes: On The Formal Analysis of PKCS Authentication Protocols. AUSCRYPT 1990: 106-121

Coauthor Index

Last update Sat May 18 19:38:29 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page