Cryptology ePrint Archive: Report 2003/121
Available versions in chronological order
20030610:162512 (posted 10-Jun-2003 16:25:12 UTC)
A Cryptographically Sound Security Proof of the Needham-Schroeder-Lowe Public-Key Protocol
Michael Backes and Birgit Pfitzmann
[
Cryptology ePrint archive
]