Cryptology ePrint Archive: Report 2002/015
Available versions in chronological order
20020204:174134 (posted 04-Feb-2002 17:41:34 UTC)
Security proofs of cryptographic protocols
Eva Jencusova
[
Cryptology ePrint archive
]