Cryptology ePrint Archive: Report 2006/056

Available versions in chronological order


Key Exchange Protocols: Security Definition, Proof Method and Applications
Anupam Datta and Ante Derek and John C. Mitchell and Bogdan Warinschi


[ Cryptology ePrint archive ]