An Improved Two-factor Authentication Protocol
Provably secure password-authenticated key exchange using Diffie-Hellman