Next Article in Journal
Food Sensing: Detection of Bacillus cereus Spores in Dairy Products
Previous Article in Journal
Detection of the Ovarian Cancer Biomarker Lysophosphatidic Acid in Serum
Previous Article in Special Issue
Carbon Nanotube-Based Electrochemical Biosensor for Label-Free Protein Detection
Open AccessArticle

Attack Graph Modeling for Implantable Pacemaker

1
Department of Mechatronics Engineering, German Jordanian University, Amman 11180, Jordan
2
Department of Natural Sciences and Industrial Engineering, Deggendorf Institute of Technology, 94469 Deggendorf, Germany
3
Department of Biomedical Engineering, German Jordanian University, Amman 11180, Jordan
*
Author to whom correspondence should be addressed.
Biosensors 2020, 10(2), 14; https://doi.org/10.3390/bios10020014
Received: 10 January 2020 / Revised: 13 February 2020 / Accepted: 17 February 2020 / Published: 19 February 2020
(This article belongs to the Special Issue Bioelectric Sensors)
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. View Full-Text
Keywords: pacemaker; threat modeling; internet of things (IoT) medical devices; vulnerabilities pacemaker; threat modeling; internet of things (IoT) medical devices; vulnerabilities
Show Figures

Figure 1

MDPI and ACS Style

Ibrahim, M.; Alsheikh, A.; Matar, A. Attack Graph Modeling for Implantable Pacemaker. Biosensors 2020, 10, 14.

Show more citation formats Show less citations formats
Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.

Article Access Map by Country/Region

1
Search more from Scilit
 
Search
Back to TopTop