Group die-hellman key exchange secure against dictionary attacksSecurity proofs for an efficient password-based key exchange