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
发表状态已发表
DOI10.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.
条目包含的文件 下载所有文件
文件名称/大小 文献类型 版本类型 开放类型 使用许可
个性服务
查看访问统计
谷歌学术
谷歌学术中相似的文章
[Paoletti, Nicola]的文章
[Jiang, Zhihao]的文章
[Islam, Md Ariful]的文章
百度学术
百度学术中相似的文章
[Paoletti, Nicola]的文章
[Jiang, Zhihao]的文章
[Islam, Md Ariful]的文章
必应学术
必应学术中相似的文章
[Paoletti, Nicola]的文章
[Jiang, Zhihao]的文章
[Islam, Md Ariful]的文章
相关权益政策
暂无数据
收藏/分享
文件名: 10.1145@3302509.3311044.pdf
格式: Adobe PDF
此文件暂不支持浏览
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。