Security analysis of KEA authenticated key exchange protocol
sigma : the ' sign - and - mac ' approach to authenticated diffie - hellman and its use in the ike - protocols .