@misc{cryptoeprint:1998:009, author = {Mihir Bellare, Ran Canetti, and Hugo Krawczyk}, title = {A Modular Approach to the Design and Analysis of Authentication and Key Exchange Protocols }, howpublished = {Cryptology ePrint Archive, Report 1998/009}, year = {1998}, url = {http://eprint.iacr.org/1998/009}, }