Skip to main content
QUICK REVIEW

[论文解读] Tuning Windowed Chi-Squared Detectors for Sensor Attacks

R. Tunga, Carlos Murguia|arXiv (Cornell University)|Oct 6, 2017
Fault Detection and Control Systems参考文献 21被引用 26
一句话总结

本文提出了一种用于检测LTI网络物理系统中传感器攻击的窗口化卡方检测器,通过与静态卡方检测器和CUSUM检测器在不可检测(零警报)攻击下的性能对比,展示了延长窗口长度可提升检测性能,使窗口化卡方检测器的稳态状态偏差接近CUSUM检测器,从而证明了利用历史数据可增强攻击鲁棒性的优势。

ABSTRACT

A model-based windowed chi-squared procedure is proposed for identifying falsified sensor measurements. We employ the widely-used static chi-squared and the dynamic cumulative sum (CUSUM) fault/attack detection procedures as benchmarks to compare the performance of the windowed chi-squared detector. In particular, we characterize the state degradation that a class of attacks can induce to the system while enforcing that the detectors do not raise alarms (zero-alarm attacks). We quantify the advantage of using dynamic detectors (windowed chi-squared and CUSUM detectors), which leverages the history of the state, over a static detector (chi-squared) which uses a single measurement at a time. Simulations using a chemical reactor are presented to illustrate the performance of our tools.

研究动机与目标

  • 分析窗口化卡方检测器在检测LTI网络物理系统中传感器攻击时的性能。
  • 量化在不同检测方案下,攻击者可实现的最大系统状态退化程度——即逃避检测的零警报攻击。
  • 比较静态卡方检测器、窗口化卡方检测器和CUSUM检测器在应对此类隐蔽攻击时的鲁棒性。
  • 研究检测器调参的权衡,特别是窗口长度和阈值选择对攻击容忍度的影响。
  • 通过线性化化学反应器模型与模拟传感器攻击,验证理论发现。

提出的方法

  • 窗口化卡方检测器通过滑动窗口长度ℓ,计算卡尔曼滤波预测值与实际传感器测量值之间残差的移动平方和。
  • 静态卡方检测器仅使用单次测量的残差,不进行时间积分,作为对比基准。
  • CUSUM检测器用作动态基准,利用累积残差检测持续偏差。
  • 卡尔曼滤波提供状态估计并生成残差,观测器增益L的选择以最小化稳态估计误差协方差。
  • 零警报攻击建模为附加的传感器偏差δk,使残差保持在检测阈值内,确保不触发警报。
  • 理论分析基于系统的可观测性与残差分布,推导出各类检测器在最坏情况零警报攻击下的极限稳态状态偏差。

实验结果

研究问题

  • RQ1窗口化卡方检测器与静态及动态检测器相比,在应对不可检测(零警报)传感器攻击时的鲁棒性如何?
  • RQ2窗口长度ℓ对攻击者在不触发警报情况下可引发的最大状态偏差有何影响?
  • RQ3不同检测阈值(α, β, b)如何影响误报率与攻击容忍度之间的权衡?
  • RQ4各类检测器在零警报攻击下,系统状态退化的理论上限是什么?
  • RQ5攻击向量δk的结构(如最坏情况与均匀情况)如何影响攻击者可造成的损害?

主要发现

  • 在最坏情况的零警报攻击下,静态卡方检测器的稳态状态偏差比CUSUM检测器高出163%。
  • 随着窗口化卡方检测器中窗口长度ℓ的增加,最大允许状态偏差减小,并趋近于CUSUM检测器的水平。
  • 在5%误报率下,窗口长度ℓ=50的窗口化卡方检测器达到的偏差水平与CUSUM检测器非常接近。
  • 窗口长度ℓ=4的窗口化卡方检测器相比静态卡方检测器,将最大偏差降低了40%。
  • 基于命题1推导出的最坏情况攻击向量δk造成的损害远大于均匀攻击(δk=1p×1),状态偏差高出163%。
  • 理论分析证实,当ℓ→∞时,窗口化卡方检测器的性能趋近于CUSUM检测器,验证了其动态优势。

更好的研究,从现在开始

从论文设计到论文写作,大幅缩短您的研究时间。

无需绑定信用卡

本解读由 AI 生成,并经人工编辑审核。