A Modular Approach to the Design and Analysis of Authentication and Key Exchange Protocols (Extended Abstract).

Mihir Bellare, Ran Canetti, Hugo Krawczyk

Browse the full STOC paper archive.