JUCS - Journal of Universal Computer Science 24(9): 1258-1270, doi: 10.3217/jucs-024-09-1258
Verifying Secure Authentication Protocol for Communication between IoT-based Medical Devices
expand article infoNipon Theera-Umpon, Kun-Hee Han§, Woo-Sik Bae|, Sanghyuk Lee, Van Huy Pham#
‡ Chiang Mai University, Chiang Mai, Thailand§ Baekseok University, Cheonan, Republic of Korea| Ajou Motor College, Boryeong, Republic of Korea¶ Xi'an Jiaotong-Liverpool University, Xi'an, China# Ton Duc Thang University, Ho Chi Minh City, Vietnam
Open Access
The evolving Internet of Things (IoT) technology has driven the advancement of communication technology for implantable devices and relevant services. Still, concerns are raised over implantable medical devices (IMDs), because the wireless transmission section between patients and devices is liable to intrusions on privacy attributable to hacking attacks and resultant leakage of patients' personal information. Also, manipulating and altering patients' medical information may lead to serious leakage of personal information and thus adverse medical incidents. To address the foregoing challenges, the present paper proposes a security protocol that copes with a range of vulnerabilities in communication between IMDs and other devices. In addition, the proposed protocol encrypts the communication process and data to eliminate the likelihood of personal information being leaked. The verification highlights the safety and security of the proposed protocol in wireless communication.
U-Healthcare service, authentication protocol, Casper, integrated authentication protocol, model checking, security policy