Security proofs for an efficient password-based key exchange