APSec1.0:用于人工胰腺系统的创新安全协议设计与正式安全分析
Jiyoon Kim1, Jongmin Oh2, Daehyeon Son2
1School of Computer Sciences, Gyeonsang National University, Jinju-si 52828, Republic of Korea.
Sensors (Basel, Switzerland)
|July 8, 2023
概括
这项研究介绍了人工胰腺系统 (APS) 的安全协议,以保护1型糖尿病患者免受网络威胁. 新协议确保了患者隐私和系统安全,同时具有高效和弹性.
科学领域:
- 生物医学工程 生物医学工程
- 网络安全 网络安全
- 医疗信息学 医疗信息学
背景情况:
- 医疗物联网 (MIoT) 提高了患者的护理服务.
- 人工胰腺系统 (APS) 越来越多地用于1型糖尿病管理.
- 网络威胁对像APS这样的MIoT系统的隐私和安全构成重大风险.
研究的目的:
- 为人工胰腺系统 (APS) 提出一个新的安全协议.
- 确保APS的基本安全要求,资源友好的谈判和应急弹性.
- 解决糖尿病管理技术中加强网络安全的关键需求.
主要方法:
- 使用 BAN 逻辑和 AVISPA 的安全协议的正式验证.
- 使用商用现成设备模拟APS环境.
- 性能分析将拟议协议与现有标准进行比较.
主要成果:
- 拟议的安全协议被正式验证为正确性和安全要求.
- 通过在受控的APS环境中的模拟来证明可行性.
- 性能分析表明,该协议比现有解决方案更有效.
结论:
- 开发的安全协议有效地提高了人工胰腺系统的安全性和隐私性.
- 该协议为APS网络安全提供了一个资源友好和弹性解决方案.
- 这项工作有助于MIoT在慢性疾病管理中的安全推进.


