文章基本信息

标题：Attack Graph Modeling for Implantable Pacemaker
本地全文：下载
作者：Mariam Ibrahim , , Ahmad Alsheikh ; Aseel Matar
期刊名称：Biosensors
电子版ISSN：2079-6374
出版年度：2020
卷号：10
期号：2
DOI：10.3390/bios10020014
出版社：MDPI Publishing
摘要：Remote health monitoring systems are used to audit implantable medical devices or patients’ health in a non-clinical setting. These systems are prone to cyberattacks exploiting their critical vulnerabilities. Thus, threatening patients’ health and confidentiality. In this paper, a pacemaker automatic remote monitoring system (PARMS) is modeled using architecture analysis and design language (AADL), formally characterized, and checked using the JKind model checker tool. The generated attack graph is visualized using the Graphviz tool, and classifies security breaches through the violation of the security features of significance. The developed attack graph showed the essentiality of setting up appropriate security measures in PARMS.
关键词：pacemaker; threat modeling; internet of things (IoT) medical devices; vulnerabilities pacemaker ; threat modeling ; internet of things (IoT) medical devices ; vulnerabilities