Logical analysis of AUTHMAC_DH: a new protocol for authentication and key distribution

In the present paper, a new protocol for authentication and key distribution is proposed. The new protocol aims to achieve a comparable performance with the Kerberos protocol and to overcome its drawbacks. For authentication of messages exchanged during authentication and key distribution, the new protocol uses the message authentication codes (MAC) to exchange the Diffie–Hellman components. It has to be noted that the use of MAC will fasten the...