APSec1.0: Innovative Security Protocol Design with Formal Security Analysis for the Artificial Pancreas System
  • Kim, Jiyoon
  • Oh, Jongmin
  • Son, Daehyeon
  • Kwon, Hoseok
  • Astillo, Philip Virgil
  • 외 1명
Citations

WEB OF SCIENCE

6
Citations

SCOPUS

10

초록

The Medical Internet-of-Things (MIoT) has developed revolutionary ways of delivering medical care to patients. An example system, showing increasing demand, is the artificial pancreas system that offers convenience and reliable support care to patients with Type 1 Diabetes. Despite the apparent benefits, the system cannot escape potential cyber threats that may worsen a patient's condition. The security risks need immediate attention to ensure the privacy of the patient and preserve safe functionality. Motivated by this, we proposed a security protocol for the APS environment wherein support to essential security requirements is guaranteed, the security context negotiation is resource-friendly, and the protocol is resilient to emergencies. Accordingly, the security requirements and correctness of the design protocol were formally verified using BAN logic and AVISPA, and proved its feasibility through the emulation of APS in a controlled environment using commercial off-the-shelf devices. Moreover, the results of our performance analysis indicate that the proposed protocol is more efficient than the other existing works and standards.

키워드

artificial pancreas system (APS)security protocolformal verificationMISBEHAVIOR DETECTION SYSTEM
제목
APSec1.0: Innovative Security Protocol Design with Formal Security Analysis for the Artificial Pancreas System
저자
Kim, JiyoonOh, JongminSon, DaehyeonKwon, HoseokAstillo, Philip VirgilYou, Ilsun
DOI
10.3390/s23125501
발행일
2023-06
유형
Article
저널명
Sensors
23
12