Stronger Security of Authenticated Key Exchange
Authenticated Key Exchange Secure against Dictionary Attacks