Quickest detection of bias injection attacks on the glucose sensor in the artificial pancreas under meal disturbances

IF 3.3 2区 计算机科学 Q2 AUTOMATION & CONTROL SYSTEMS
Fatih Emre Tosun , André M.H. Teixeira , Mohamed R.-H. Abdalmoaty , Anders Ahlén , Subhrakanti Dey
{"title":"Quickest detection of bias injection attacks on the glucose sensor in the artificial pancreas under meal disturbances","authors":"Fatih Emre Tosun ,&nbsp;André M.H. Teixeira ,&nbsp;Mohamed R.-H. Abdalmoaty ,&nbsp;Anders Ahlén ,&nbsp;Subhrakanti Dey","doi":"10.1016/j.jprocont.2024.103162","DOIUrl":null,"url":null,"abstract":"<div><p>Modern glucose sensors deployed in closed-loop insulin delivery systems, so-called artificial pancreas use wireless communication channels. While this allows a flexible system design, it also introduces vulnerability to cyberattacks. Timely detection and mitigation of attacks are imperative for device safety. However, large unknown meal disturbances are a crucial challenge in determining whether the sensor has been compromised or the sensor glucose trajectories are normal. We address this issue from a control-theoretic security perspective. In particular, a time-varying Kalman filter is employed to handle the sporadic meal intakes. The filter prediction error is then statistically evaluated to detect anomalies if present. We compare two state-of-the-art online anomaly detection algorithms, namely the <span><math><msup><mrow><mi>χ</mi></mrow><mrow><mn>2</mn></mrow></msup></math></span> and CUSUM tests. We establish a robust optimal detection rule for unknown bias injections. Even if the optimality holds only for the restrictive case of constant bias injections, we show that the proposed model-based anomaly detection scheme is also effective for generic non-stealthy sensor deception attacks through numerical simulations.</p></div>","PeriodicalId":50079,"journal":{"name":"Journal of Process Control","volume":null,"pages":null},"PeriodicalIF":3.3000,"publicationDate":"2024-01-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0959152424000027/pdfft?md5=634c1d35138d8b2f4aa6ec4dc1e3d8dc&pid=1-s2.0-S0959152424000027-main.pdf","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Process Control","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0959152424000027","RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"AUTOMATION & CONTROL SYSTEMS","Score":null,"Total":0}
引用次数: 0

Abstract

Modern glucose sensors deployed in closed-loop insulin delivery systems, so-called artificial pancreas use wireless communication channels. While this allows a flexible system design, it also introduces vulnerability to cyberattacks. Timely detection and mitigation of attacks are imperative for device safety. However, large unknown meal disturbances are a crucial challenge in determining whether the sensor has been compromised or the sensor glucose trajectories are normal. We address this issue from a control-theoretic security perspective. In particular, a time-varying Kalman filter is employed to handle the sporadic meal intakes. The filter prediction error is then statistically evaluated to detect anomalies if present. We compare two state-of-the-art online anomaly detection algorithms, namely the χ2 and CUSUM tests. We establish a robust optimal detection rule for unknown bias injections. Even if the optimality holds only for the restrictive case of constant bias injections, we show that the proposed model-based anomaly detection scheme is also effective for generic non-stealthy sensor deception attacks through numerical simulations.

在进餐干扰条件下最快检测出对人工胰腺葡萄糖传感器的偏差注入攻击
部署在闭环胰岛素输送系统(即所谓的人工胰腺)中的现代葡萄糖传感器使用无线通信信道。虽然这样可以实现灵活的系统设计,但也容易受到网络攻击。为了保证设备安全,及时发现和缓解攻击是当务之急。然而,巨大的未知膳食干扰是确定传感器是否受到攻击或传感器葡萄糖轨迹是否正常的关键挑战。我们从控制论安全的角度来解决这个问题。我们特别采用了时变卡尔曼滤波器来处理零星的进餐量。然后对滤波器预测误差进行统计评估,以检测是否存在异常。我们比较了两种最先进的在线异常检测算法,即 χ2 和 CUSUM 检验。我们为未知偏差注入建立了稳健的最优检测规则。即使最优性仅适用于恒定偏差注入的限制性情况,我们也通过数值模拟证明了所提出的基于模型的异常检测方案对于一般的非隐蔽传感器欺骗攻击也是有效的。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
Journal of Process Control
Journal of Process Control 工程技术-工程:化工
CiteScore
7.00
自引率
11.90%
发文量
159
审稿时长
74 days
期刊介绍: This international journal covers the application of control theory, operations research, computer science and engineering principles to the solution of process control problems. In addition to the traditional chemical processing and manufacturing applications, the scope of process control problems involves a wide range of applications that includes energy processes, nano-technology, systems biology, bio-medical engineering, pharmaceutical processing technology, energy storage and conversion, smart grid, and data analytics among others. Papers on the theory in these areas will also be accepted provided the theoretical contribution is aimed at the application and the development of process control techniques. Topics covered include: • Control applications• Process monitoring• Plant-wide control• Process control systems• Control techniques and algorithms• Process modelling and simulation• Design methods Advanced design methods exclude well established and widely studied traditional design techniques such as PID tuning and its many variants. Applications in fields such as control of automotive engines, machinery and robotics are not deemed suitable unless a clear motivation for the relevance to process control is provided.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信