[論文レビュー] Graph-Theoretic Framework for Unified Analysis of Observability and Data Injection Attacks in the Smart Grid

Anibal Sanjab, Walid Saad+1 more|arXiv (Cornell University)|Jan 26, 2018

Smart Grid Security and Resilience参考文献 34被引用数 5

ひとこと要約

本稿では、スマートグリッドにおける可観測性とステルス的データインジェクション攻撃（SDIAs）の分析を統一するグラフ理論的フレームワークを提案する。このフレームワークは、二部グラフにおける臨界集合と最大マッチングを用いて、両者をモデル化する。このフレームワークにより、スパースなSDIAsの特定や最適防御集合の同定といった、主なセキュリティ問題に対して正確な解析的解法が可能となり、IEEE 14-busシステムを用いた検証が行われた。

ABSTRACT

In this paper, a novel graph-theoretic framework is proposed to generalize the analysis of a broad set of security attacks, including observability and data injection attacks, that target the state estimator of a smart grid. First, the notion of observability attacks is defined based on a proposed graph-theoretic construct. In this respect, a structured approach is proposed to characterize critical sets, whose removal renders the system unobservable. It is then shown that, for the system to be observable, these critical sets must be part of a maximum matching over a proposed bipartite graph. In addition, it is shown that stealthy data injection attacks (SDIAs) constitute a special case of these observability attacks. Then, various attack strategies and defense policies, for observability and data injection attacks, are shown to be amenable to analysis using the introduced graph-theoretic framework. The proposed framework is then shown to provide a unified basis for analysis of four key security problems (among others), pertaining to the characterization of: 1) The sparsest SDIA; 2) the sparsest SDIA including a certain measurement; 3) a set of measurements which must be defended to thwart all potential SDIAs; and 4) the set of measurements, which when protected, can thwart any SDIA whose cardinality is below a certain threshold. A case study using the IEEE 14-bus system with a set of 17 measurements is used to support the theoretical findings.

研究の動機と目的

• 単一のグラフ理論的モデルを用いて、電力系統の状態推定における可観測性とステルス的データインジェクション攻撃（SDIAs）の分析を統一すること。
• 系統の不可観測性を引き起こす測定値の臨界集合を、二部グラフ上の最大マッチングを用いて特徴づけること。
• 提案されたフレームワーク下で、SDIAsが可観測性攻撃の特殊ケースであることを示すこと。
• 4つの主要なセキュリティ問題に対する解析的解法を提供すること：最稀なSDIA、特定の測定値を含むSDIA、すべてのSDIAsを遮断する最小防御集合、および所定の基数閾値未満のSDIAを防ぐ防御集合。
• サイバー物理的電力システムにおける攻撃者・防御者の相互作用をゲーム理論的にモデル化することを可能とすること。

提案手法

• スパニングツリーに基づく測定グラフ（SMBG）を構築し、不可観測性を引き起こす測定値の最小集合として臨界集合を定義する。
• ノードが測定値と母線を表し、エッジが測定依存関係を表す二部グラフを定式化する。
• 二部グラフ上の最大マッチングを用いて可観測性を判定する：すべての臨界集合がマッチングされれば、システムは可観測である。
• すべてのスパニングツリーにわたる可能なすべての臨界集合をモデル化するため、臨界集合スパース測定グラフ（CS-SMBG）を定義する。
• 所定の基数閾値未満のすべてのSDIAsに対する防御問題を、CS-SMBG上のヒッティングセット問題としてモデル化する。ここで各集合は最小防御構成に対応する。
• 防御問題を既知のNP困難なヒッティングセット問題に還元し、スケーラブルな解法に向けた近似手法の適用を可能にする。

実験結果

リサーチクエスチョン

• RQ1 可観測性とステルス的データインジェクション攻撃を、単一のグラフ理論的モデルで正式に統一することは可能か？
• RQ2 系統の不可観測性を引き起こす測定値の最小集合は何か。これはグラフマッチングを用いてどのように特徴づけられるか？
• RQ3 特定の測定値を含む、最もスパースなステルス的データインジェクション攻撃とは何か？
• RQ4 所定の基数閾値未満のすべてのSDIAsを防ぐために、最小限の測定値をどのように防御すればよいか？
• RQ5 提案されたフレームワークは、スマートグリッドセキュリティにおける攻撃者・防御者の相互作用をゲーム理論的にモデル化するためにどのように活用できるか？

主な発見

• ステルス的データインジェクション攻撃（SDIAs）が、提案されたグラフ理論的フレームワーク内での可観測性攻撃の特殊ケースとして正式に示された。
• 最稀なSDIAは、検知されないまま攻撃可能な最小の可観測性集合（臨界集合）の和集合を特定することで得られ、これは最小マッチング条件に対応する。
• 基数閾値τ_a未満のすべてのSDIAsを遮断する最小防御集合は、すべてのCS-SMBGにわたるサイズがτ_a未満の臨界集合のすべてに対してヒッティングセット問題を解くことで導出される。
• 防御問題の解法はNP困難であるが、フレームワークによりヒッティングセット分野の近似アルゴリズムの適用が可能となった。
• フレームワークはIEEE 14-busシステム（17個の測定値を有する）を用いた検証を通じて、提案手法の解析的扱いやすさが実証された。
• フレームワークは、攻撃者の戦略と防御者の反応を統一的かつ解析可能な形でモデル化可能であり、ゲーム理論的分析を支援する。