Cryptology ePrint Archive: Report 2006/056
Available versions in chronological order
20060215:212548 (posted 15-Feb-2006 21:25:48 UTC)
Key Exchange Protocols: Security Definition, Proof Method and Applications
Anupam Datta and Ante Derek and John C. Mitchell and Bogdan Warinschi
[
Cryptology ePrint archive
]