flexible framework for secret handshakes ( multi - party anonymous and un - observable authentication ) .
sigma : the ' sign - and - mac ' approach to authenticated diffie - hellman and its use in the ike - protocols .