Authenticated Key Exchange Secure against Dictionary Attacks
Provably secure password-authenticated key exchange using Diffie-Hellman