[论文解读] Novel Attacks against Contingency Analysis in Power Grids

Mohammad Ashiqur Rahman, Hasan Shahriar+2 more|arXiv (Cornell University)|Nov 3, 2019

Smart Grid Security and Resilience参考文献 28被引用 6

一句话总结

该论文提出了一种基于Satisfiability Modulo Theories（SMT）的形式化框架，系统性地识别出通过污染状态估计（SE）而破坏系统暂态分析（CA）的隐蔽性未检测到的虚假数据注入（UFDI）攻击向量，导致安全约束最优潮流（SCOPF）调度不安全，进而在系统发生暂态故障时引发输电线路过载。该方法可自动发现关键威胁向量，同时规避检测，在IEEE 14节点系统上通过PowerWorld进行了验证。

ABSTRACT

Contingency Analysis (CA) is a core component of the Energy Management System (EMS) in the power grid. The goal of CA is to operate the power system in a secure manner by analyzing the system subject to a contingency (e.g., the outage of a transmission line or a power generator) to determine the setpoints that will allow system operation without violation of constraints. The analysis in CA is conducted based on the output from State Estimation (SE), another core EMS module. However, it is also shown that an adversary can alter certain power measurements to corrupt the system states estimated by SE without being detected. Such a corrupted estimation can severely skew the results of the contingency analysis as it will provide a fake model to deal with. In this research, we formally model necessary interdependency relationships and systematically analyze these novel attacks on the contingency analysis. In particular, this research focuses on Security Constrained Optimal Power Flow (SCOPF) that finds out the optimal economic dispatches considering a single line failure (based on the $n - 1$ contingency analysis) and transmission line capacities. The proposed model is implemented and solved to find out potential threat vectors (i.e., a set of measurements to be altered) that can evade CA so that the system will face overloading situation on one or more transmission lines when some specific contingencies happen. We demonstrate our formal model on an IEEE 14 bus system-based case study and verify the results with a standard PowerWorld model. We further evaluate the model with respect to various attacks and grid characteristics.

研究动机与目标

• 分析隐蔽性UFDI攻击如何通过状态估计（SE）影响安全约束最优潮流（SCOPF），进而在系统发生暂态故障时破坏系统安全性。
• 识别关键攻击向量——即特定的测量值集合——这些向量可规避错误数据检测（BDD），同时导致SCOPF生成不安全的调度方案。
• 开发一种形式化、基于约束的模型，系统性地从被污染的测量值到$ n-1 $暂态条件下的物理系统过载，合成攻击路径。
• 评估不同电网配置和攻击模型下攻击的可行性与影响，确保实际相关性。
• 通过在IEEE 14节点系统上使用PowerWorld仿真验证模型的正确性与有效性。

提出的方法

• 将电力系统（包括直流潮流、SE、SCOPF和UFDI攻击动态）形式化建模为一个约束满足问题。
• 使用Satisfiability Modulo Theories（SMT）求解器，自动搜索可规避BDD并改变SCOPF结果的隐蔽性攻击向量。
• 对线路和母线有功功率测量值的测量注入攻击进行建模，以在SE中引发错误的功率消耗估计。
• 将线路热极限和发电机出力限制等系统约束整合到SMT公式中，以模拟真实的暂态场景。
• 通过求解导致$ n-1 $暂态条件下过载的测量扰动，自动合成攻击向量。
• 通过PowerWorld仿真验证结果，确认在注入虚假数据条件下，物理过载结果得以实现。

实验结果

研究问题

• RQ1 哪些特定的测量值集合可通过UFDI攻击被操纵，以在规避检测的同时导致SCOPF生成不安全的调度方案？
• RQ2 SE中的隐蔽虚假数据注入如何传播至破坏CA中的安全评估，并在暂态条件下导致物理过载？
• RQ3 不同攻击模型和电网特性对攻击可行性与严重性有何影响？
• RQ4 能否通过一种形式化、自动化的手段识别出导致SCOPF中未被察觉系统不安全性的关键威胁向量？
• RQ5 所提出的基于SMT的框架在多大程度上能够检测并验证实时电力系统运行中由攻击引发的过载？

主要发现

• 所提出的基于SMT的框架成功识别出可规避错误数据检测（BDD）的隐蔽性UFDI攻击向量，同时导致SCOPF生成不安全的调度方案。
• 模型表明，被污染的SE估计值可导致SCOPF解看似最优且满足约束条件，但在暂态条件下引发输电线路过载。
• PowerWorld仿真结果证实，所合成的攻击向量在$ n-1 $暂态条件下导致输电线路物理过载，验证了模型的物理合理性。
• 该框架高效探索了不同攻击模型和电网配置下的威胁空间，揭示了测量集中的关键脆弱点。
• 研究表明，即使对手知识有限，也能构造出可规避检测的攻击，通过错误的SCOPF决策引发级联物理故障。
• 结果强调了需要加强测量值加固和检测机制，因为当前的BDD机制无法有效应对复杂、具备约束感知能力的攻击。