Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 
Volume 24 / Issue 9

available in:   PDF (193 kB) PS (473 kB)
 
get:  
Similar Docs BibTeX   Write a comment
  
get:  
Links into Future
 
DOI:   10.3217/jucs-024-09-1258

 

Verifying Secure Authentication Protocol for Communication between IoT-based Medical Devices

Nipon Theera-Umpon (Chiang Mai University, Thailand)

Kun-Hee Han (Baekseok University, Korea)

Woo-Sik Bae (Ajou Motor College, Korea)

Sanghyuk Lee (Xi'an Jiaotong-Liverpool University, China)

Van Huy Pham (Ton Duc Thang University, Vietnam)

Abstract: 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.

Keywords: Casper, U-Healthcare service, authentication protocol, integrated authentication protocol, model checking, security policy

Categories: C.2.2, E.3, L.4.0