ShanghaiTech University Knowledge Management System
Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices | |
Paoletti, Nicola1; Jiang, Zhihao2; Islam, Md Ariful3; Abbas, Houssam4; Mangharam, Rahul4; Lin, Shan5; Gruber, Zachary5; Smolka, Scott A.5 | |
2019 | |
会议录名称 | ICCPS '19: PROCEEDINGS OF THE 2019 10TH ACM/IEEE INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS |
页码 | 13-22 |
发表状态 | 已发表 |
DOI | 10.1145/3302509.3311044 |
摘要 | An Implantable Cardioverter Defibrillator (ICD) is a medical device used for the detection of potentially fatal cardiac arrhythmias and their treatment through the delivery of electrical shocks intended to restore normal heart rhythm. An ICD reprogramming attack seeks to alter the device's parameters to induce unnecessary therapy or prevent required therapy. In this paper, we present a formal approach for the synthesis of ICD reprogramming attacks that are both effective, i.e., lead to fundamental changes in the required therapy, and stealthy, i.e., are hard to detect. We focus on the discrimination algorithm underlying Boston Scientific devices (one of the principal ICD manufacturers) and formulate the synthesis problem as one of multi-objective optimization. Our solution technique is based on an Optimization Modulo Theories encoding of the problem and allows us to derive device parameters that are optimal with respect to the effectiveness-stealthiness tradeoff. Our method can be tailored to the patient's current condition, and readily generalizes to new rhythms. To the best of our knowledge, our work is the first to derive systematic ICD reprogramming attacks designed to maximize therapy disruption while minimizing detection. |
关键词 | Medical device security Reprogramming attack Implantable Cardioverter Defibrillator Arrhythmia discrimination Model-based attack synthesis |
会议地点 | Montreal, QC, Canada |
收录类别 | EI ; CPCI-S ; CPCI |
语种 | 英语 |
WOS研究方向 | Computer Science ; Engineering |
WOS类目 | Computer Science, Information Systems ; Computer Science, Software Engineering ; Engineering, Electrical & Electronic |
WOS记录号 | WOS:000473800800002 |
出版者 | ASSOC COMPUTING MACHINERY |
EI入藏号 | 20192307011402 |
EI主题词 | Defibrillators ; Diseases ; Embedded systems ; Multiobjective optimization ; Scattering parameters |
EI分类号 | Hospitals, Equipment and Supplies:462.2 ; Prosthetics:462.4 ; Electric Networks:703.1 ; Optimization Techniques:921.5 |
WOS关键词 | INAPPROPRIATE |
原始文献类型 | Proceedings Paper |
引用统计 | |
文献类型 | 会议论文 |
条目标识符 | https://kms.shanghaitech.edu.cn/handle/2MSLDSTB/50004 |
专题 | 信息科学与技术学院 信息科学与技术学院_PI研究组_江智浩组 |
通讯作者 | Paoletti, Nicola |
作者单位 | 1.Royal Holloway Univ London, London, England 2.ShanghaiTech Univ, Shanghai, Peoples R China 3.Texas Tech Univ, Lubbock, TX 79409 USA 4.Univ Penn, Philadelphia, PA 19104 USA 5.SUNY Stony Brook, Stony Brook, NY 11794 USA |
推荐引用方式 GB/T 7714 | Paoletti, Nicola,Jiang, Zhihao,Islam, Md Ariful,et al. Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices[C]:ASSOC COMPUTING MACHINERY,2019:13-22. |
条目包含的文件 | 下载所有文件 | |||||
文件名称/大小 | 文献类型 | 版本类型 | 开放类型 | 使用许可 |
修改评论
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。