Authenticated Key Exchange Provably Secure Against the Man-in-the-Middle Attack.

Anna M. Johnston Peter Gemmell Authenticated Key Exchange Provably Secure Against the Man-in-the-Middle Attack. 139-148 2002 15 J. Cryptology 2 http://link.springer.de/link/service/journals/00145/contents/01/0017/ db/journals/joc/joc15.html#JohnstonG02