@misc{cryptoeprint:2009:368, author = {Klaas Ole Kuertz and Henning Schnoor and Thomas Wilke}, title = {A Simulation-Based Treatment of Authenticated Message Exchange}, howpublished = {Cryptology ePrint Archive, Report 2009/368}, year = {2009}, url = {http://eprint.iacr.org/2009/368}, }