[論文レビュー] False Data Injection Attacks on Phasor Measurements That Bypass Low-rank Decomposition

Jiazi Zhang, Zhigang Chu+2 more|arXiv (Cornell University)|May 4, 2017

Smart Grid Security and Resilience参考文献 31被引用数 3

ひとこと要約

本稿では、時間的相関を活用して低ランク分解（LD）検出器を回避するPMU測定値に対する新たなタイプの偽装データインジェクション（FDI）攻撃を提案する。攻撃を凸最適化問題として定式化することで、従来の残差ベース検出器およびLDベース検出器の両方に対して検出不能な攻撃を生成した。IEEE 24母線および118母線システムを用いた検証により有効性が確認された。

ABSTRACT

This paper studies the vulnerability of phasor measurement units (PMUs) to false data injection (FDI) attacks. Prior work demonstrated that unobservable FDI attacks that can bypass traditional bad data detectors based on measurement residuals can be identified by detector based on low-rank decomposition (LD). In this work, a class of more sophisticated FDI attacks that captures the temporal correlation of PMU data is introduced. Such attacks are designed with a convex optimization problem and can always bypass the LD detector. The vulnerability of this attack model is illustrated on both the IEEE 24-bus RTS and the IEEE 118-bus systems.

研究の動機と目的

• PMUベースの状態推定が、低ランク分解（LD）検出器を回避する高度なFDI攻撃に対してどれほど脆弱であるかを調査すること。
• PMUデータの時間的相関を理解していない攻撃者を想定する従来の検出手法のギャップを是正すること。
• 従来の残差ベース検出器および最新のLDベース検出器の両方に対して検出不能なFDI攻撃を設計すること。
• 具体的には、IEEE 24母線および118母線システムを含む実際の送電系統モデルにおいて、こうした攻撃の有効性を検証すること。
• 同じPMU測定値に対して時間的に継続的な攻撃が施されても、攻撃行列が列スパースである場合でも検出を回避できるかどうかを示すこと。

提案手法

• PMU測定値の時間的相関を保持するように、FDI攻撃設計を凸最適化問題として定式化する。
• PMU測定行列を、スパースな攻撃行列によって汚染された低ランク行列としてモデル化し、攻撃が時間的に同じ測定値セットを標的にする（列スパース攻撃）。
• 測定行列の構造を活用して、境界付き部分グラフ内での検出不能条件を満たすことで、攻撃が状態推定器に対して検出不能であることを保証する。
• 攻撃検出に低ランク分解（LD）を用いるが、提案手法ではLD検出器が出力する検出信号がゼロ（C*^(LD) = 0）となることを示している。
• ノイズのない測定を仮定し、電力系統ダイナミクスに基づいて合成PMUデータを生成して攻撃を検証する。
• 合成測定行列の低ランク性を確認するため、特異値分解（SVD）を用いる。これにより、攻撃モデルの妥当性が裏付けられる。

実験結果

リサーチクエスチョン

• RQ1 PMUデータの時間的相関を理解している攻撃者が、低ランク分解（LD）検出器を回避できるFDI攻撃を設計できるか？
• RQ2 同じPMU測定値に対して時間的に継続的な攻撃が施された場合、FDI攻撃の検出可能性にどのような影響を与えるか？
• RQ3 凸最適化を用いて、残差ベースおよびLDベースの検出メカニズムの両方に対して検出不能なFDI攻撃を生成できるか、その程度はどの程度か？
• RQ4 攻撃行列の構造（例：列スパース性）は、LDベース検出の性能にどのように影響するか？
• RQ5 提案された攻撃は、IEEE 24母線および118母線システムのような実際の送電系統モデルにおいて検出不能であるか？

主な発見

• 提案されたFDI攻撃は、全テストケースにおいてLD検出器を効果的に回避した。各攻撃において、検出器出力はC*^(LD) = 0を示した。
• IEEE 24母線システムでは、攻撃対象状態数が増加するにつれて、再構築測定行列の核ノルム||Z*||_∗が減少し、攻撃の隠蔽性が向上していることが示された。
• IEEE 118母線システムでは、全攻撃における核ノルム||Z*||_∗の平均値は57.0、最大値は57.1、最小値は56.9であり、低ランク構造の安定的保持が確認された。
• IEEE 24母線システムの線路12番の攻撃（|I| = 1、母線8）では、図4に示すように、元のPMU測定値の時間的ダイナミクスを正確に模倣した。
• 全テスト攻撃において||Z*||_∗ ≤ ||Z||_∗が成り立つことから、攻撃が低ランク構造を強化しないことが確認され、LD検出器を回避する上で不可欠な条件を満たしている。
• 結果から、同じPMU測定値に対して時間的に継続的な攻撃が施されても、攻撃行列が列スパースであっても、LD検出器は真の攻撃セットを特定できないことが示された。攻撃セット外に偽陽性は検出されなかった。