TY  - EJOU
AU  - Wu, Tsu-Yang 
AU  - Meng, Qian 
AU  - Yang, Lei 
AU  - Kumari, Saru 
AU  - Pirouz, Matin 

TI  - Amassing the Security: An Enhanced Authentication and Key Agreement Protocol for Remote Surgery in Healthcare Environment
T2  - Computer Modeling in Engineering \& Sciences

PY  - 2023
VL  - 134
IS  - 1
SN  - 1526-1506

AB  - The development of the Internet of Things has facilitated the rapid development of various industries. With the improvement in people’s living standards, people’s health requirements are steadily improving. However, owing to the scarcity of medical and health care resources in some areas, the demand for remote surgery has gradually increased. In this paper, we investigate remote surgery in the healthcare environment. Surgeons can operate robotic arms to perform remote surgery for patients, which substantially facilitates successful surgeries and saves lives. Recently, Kamil et al. proposed a secure protocol for surgery in the healthcare environment. However, after cryptanalyzing their protocol, we deduced that their protocols are vulnerable to temporary value disclosure and insider attacks. Therefore, we design an improved authentication and key agreement protocol for remote surgeries in the healthcare environment. Accordingly, we adopt the real or random (ROR) model and an automatic verification tool Proverif to verify the security of our protocol. Via security analysis and performance comparison, it is confirmed that our protocol is a relatively secure protocol.
KW  - IoT; healthcare; security analysis; authentication; robotic arm; ROR

DO  - 10.32604/cmes.2022.019595