Open AccessSecure MQTT PUF-Based Key Exchange Protocol for Smart Healthcare
Author(s) -
Rizka Reza Pahlevi,
Parman Sukarno,
Bayu Erfianto
Publication year - 2021
Publication title -
jurnal rekayasa elektrika
Language(s) - English
Resource type - Journals
eISSN - 2252-620X
pISSN - 1412-4785
DOI - 10.17529/jre.v17i2.20428
Subject(s) - computer science , eavesdropping , key exchange , computer security , handshake , replay attack , authentication protocol , protocol (science) , authentication (law) , cryptography , cryptographic protocol , key (lock) , key agreement protocol , computer network , public key cryptography , key distribution , encryption , medicine , alternative medicine , asynchronous communication , pathology
Replay and eavesdropping attacks threaten the information security that is held by smart healthcare devices. An authenticated key exchange method to provide cryptography sessions is the best way to provide information security and secure authentication. However, smart healthcare devices do not have sufficient computation to perform heavy cryptography processes due to the limitations of the embedded devices used. We propose an authenticated key exchange protocol based on a physical unclonable function (PUF). The proposed protocol aimed to countermeasure from replay and eavesdropping attacks. We designed our protocol with one handshake process and three authentication processes. We evaluated our proposed protocol using Tamarin Prover. From the results of the evaluation, our proposed protocol can exchange properties correctly between communication actors and is valid in proving each lemma in eavesdropping and replay attacks.