Volume 7, Issue 2 | Journal of Cryptology

Search all Journal of Cryptology articles

Volume 7, Issue 2

June 1994

Filter by

Volume:

Sort by

Date published:

New to old Old to new

2 articles in this issue

Proof of soundness (integrity) of cryptographic protocols
G. J. Simmons
OriginalPaper Pages: 69 - 77
Three systems for cryptographic protocol analysis
R. Kemmerer
C. Meadows
J. Millen
OriginalPaper Pages: 79 - 130