APSec1.0: Innovative Security Protocol Design with Formal Security Analysis for the Artificial Pancreas System

APSec1.0: Innovative Security Protocol Design with Formal Security Analysis for the Artificial Pancreas System

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 bene...

Full description

Bibliographic Details
Main Authors: Jiyoon Kim, Jongmin Oh, Daehyeon Son, Hoseok Kwon, Philip Virgil Astillo, Ilsun You
Format: Article
Language:English
Published: MDPI AG 2023-06-01
Series:Sensors
Subjects:
artificial pancreas system (APS)
security protocol
formal verification
Online Access:https://www.mdpi.com/1424-8220/23/12/5501

Internet

https://www.mdpi.com/1424-8220/23/12/5501

Similar Items