[论文解读] Attack Detection and Identification in Cyber-Physical Systems -- Part I: Models and Fundamental Limitations

Fabio Pasqualetti, Florian Dörfler+1 more|arXiv (Cornell University)|Feb 28, 2012

Smart Grid Security and Resilience参考文献 38被引用 41

一句话总结

本文提出了一套统一框架，用于分析建模为线性广义系统的网络物理系统中不可检测和不可识别的攻击，将攻击视为未知的外部输入。该研究建立了静态、动态和主动监测器的根本局限性，并推导出隐蔽攻击存在的代数与图论条件，通过水网和电网案例验证了理论结果。

ABSTRACT

Cyber-physical systems integrate computation, communication, and physical capabilities to interact with the physical world and humans. Besides failures of components, cyber-physical systems are prone to malignant attacks, and specific analysis tools as well as monitoring mechanisms need to be developed to enforce system security and reliability. This paper proposes a unified framework to analyze the resilience of cyber-physical systems against attacks cast by an omniscient adversary. We model cyber-physical systems as linear descriptor systems, and attacks as exogenous unknown inputs. Despite its simplicity, our model captures various real-world cyber-physical systems, and it includes and generalizes many prototypical attacks, including stealth, (dynamic) false-data injection and replay attacks. First, we characterize fundamental limitations of static, dynamic, and active monitors for attack detection and identification. Second, we provide constructive algebraic conditions to cast undetectable and unidentifiable attacks. Third, by using the system interconnection structure, we describe graph-theoretic conditions for the existence of undetectable and unidentifiable attacks. Finally, we validate our findings through some illustrative examples with different cyber-physical systems, such as a municipal water supply network and two electrical power grids.

研究动机与目标

• 为解决网络物理系统在传统组件故障之外面临复杂隐蔽攻击时的安全机制需求提供支持。
• 将网络物理系统建模为线性广义系统，将攻击视为影响系统状态（x）、输出（y）和测量值的未知外部输入（u），以捕捉隐蔽攻击、虚假数据注入攻击和重放攻击。
• 识别静态、动态和主动监测器在检测与识别此类攻击方面存在的根本局限性。
• 基于系统结构，推导出不可检测与不可识别攻击存在的构造性代数与图论条件。
• 通过市政供水网络与两个电力网络的案例研究，验证理论发现。

提出的方法

• 将网络物理系统建模为索引为一的线性广义系统，通过微分-代数方程框架表示动态特性。
• 将攻击表示为影响系统状态（x）、输出（y）和测量值的未知外部输入（u），并引入攻击特征矩阵 B 和 D。
• 利用零动态与结构系统理论分析攻击的可检测性与可识别性，重点关注攻击是否激发可观测的系统模态。
• 基于系统矩阵的秩与零空间性质，推导出不可检测与不可识别攻击的代数条件。
• 引入基于系统互连结构的图论条件，以确定隐蔽攻击的存在性，且无需掌握完整的系统信息。
• 通过水网与电网的仿真验证理论结果，展示攻击如何被设计为规避检测。

实验结果

研究问题

• RQ1 静态、动态与主动监测器在检测与识别网络物理系统中攻击时存在哪些根本局限性？
• RQ2 在何种代数条件下，攻击者可在线性广义系统中设计出不可检测或不可识别的攻击？
• RQ3 网络互连结构如何影响网络物理系统中隐蔽攻击的存在性？
• RQ4 图论条件能否在不依赖特定数值实现的情况下预测不可检测攻击的存在？
• RQ5 如何对现实中的网络物理系统（如供水与电力网络）进行隐蔽攻击脆弱性分析？

主要发现

• 动态监测器通过利用系统动态特性，在检测攻击方面优于静态监测器，即使测量点更少。
• 主动监测器无法克服被动动态监测器的根本局限性，因为两者面临相同的结构性约束。
• 当且仅当攻击特征（B, D）仅激发系统的零动态时，不可检测攻击才存在，该条件可通过系统矩阵的代数条件确定。
• 基于系统互连结构推导出的不可检测攻击图论条件，对几乎所有兼容的数值实现均成立。
• 在供水网络案例研究中，攻击者可通过篡改传感器 S₁、操控泵 P₂，并调整攻击信号以维持压力读数，从水箱 R₂ 盗取水，而不会被检测到。
• 该攻击策略无需了解初始状态或完整网络结构，仅需知道耦合系数 A₃₁，且即使额外传感器监测其他变量，攻击仍可保持隐蔽。