Cryptographic key exchange protocol with message authentication codes (MAC) using finite state machine

• Main Authors: Mat Isa, Mohd Anuar, Ahmad, Miza Mumtaz, Mohd Sani, Nor Fazlida, Hashim, Habibah, Mahmod, Ramlan
• Format: Article
• Language: English
• Published: Elsevier 2014
• Online Access: http://psasir.upm.edu.my/id/eprint/36934/1/Cryptographic%20Key%20Exchange%20Protocol%20with%20Message.pdf; http://psasir.upm.edu.my/id/eprint/36934/

In this work, we explore the authentication and verification of key exchange protocol using Message Authentication Code (MAC). We propose a new MAC scheme model using input-output automata to protect the integrity of the secret key in the key exchange protocol. Our scheme was devised in reference to...