[論文レビュー] On the Entity Hardening Problem in Multi-layered Interdependent Networks

Joydeep Banerjee, Arun Das+3 more|arXiv (Cornell University)|Dec 20, 2014

Complex Network Analysis Techniques参考文献 12被引用数 6

ひとこと要約

本稿は、ブール論理に基づくインプリケイティブ相互依存モデル（IIM）を用いて、多層構造の相互依存的電力・通信ネットワークにおけるエンティティのハードニング問題を研究している。予算制約のもとでk個のエンティティを選択するためのヒューリスティックアルゴリズムを提案し、アリゾナ州マリコパ郡の実データにおいて最適解に非常に近い性能を示した。この手法は、最適なILP解からの平均偏差がわずか0.13にとどまった。

ABSTRACT

The power grid and the communication network are highly interdependent on each other for their well being. In recent times the research community has shown significant interest in modeling such interdependent networks and studying the impact of failures on these networks. Although a number of models have been proposed, many of them are simplistic in nature and fail to capture the complex interdependencies that exist between the entities of these networks. To overcome the limitations, recently an Implicative Interdependency Model that utilizes Boolean Logic, was proposed and a number of problems were studied. In this paper we study the entity hardening problem, where by entity hardening we imply the ability of the network operator to ensure that an adversary (be it Nature or human) cannot take a network entity from operative to inoperative state. Given that the network operator with a limited budget can only harden k entities, the goal of the entity hardening problem is to identify the set of k entities whose hardening will ensure maximum benefit for the operator, i.e. maximally reduce the ability of the adversary to degrade the network. We show that the problem is solvable in polynomial time for some cases, whereas for others it is NP-complete. We provide the optimal solution using ILP, and propose a heuristic approach to solve the problem. We evaluate the efficacy of our heuristic using power and communication network data of Maricopa County, Arizona. The experiments show that our heuristic almost always produces near optimal results.

研究の動機と目的

• 敵対的または自然的要因による障害によって引き起こされる連鎖的障害から、重要な相互依存的インfra構造を保護する課題に対処すること。
• グラフベースのモデルに比べて単純化された制限を克服するため、ブール論理に基づくインプリケイティブ相互依存関係（IDR）を用いて、電力網と通信網の間の複雑な相互依存関係をモデル化すること。
• 限られた予算のもとで、敵対的攻撃者が最大K個の脆弱なノードを標的にする場合に、システムのレジリエンスを最大化するために、k個のネットワークエンティティをハードニング（故障に耐性化）する最適な集合を同定すること。
• 異なる相互依存構造の下でのエンティティハードニング問題の計算複雑性を評価し、多項式時間で解ける場合とNP完全な場合を区別すること。
• 実世界のネットワークデータ上で、最適解に近い性能を示すスケーラブルなヒューリスティックを開発し、実証的に検証すること。

提案手法

• インプリケイティブ相互依存モデル（IIM）を用いて、電力網と通信網の間の相互依存関係をモデル化し、論理積および論理和の項を含むブール論理式として依存関係を表現する。
• IDR構造に基づいてエンティティハードニング問題を4つのケースに分類し、唯一最初のケースのみが多項式時間で解けることを証明。残りのケースはすべてNP完全である。
• 保護集合（すなわち、故障を防げるミンタームの集合）が最大であるエンティティを反復的に選択するグリーディーヒューリスティックアルゴリズムを提案。ミンタームカバレッジに基づく2段階のタイブレーキング戦略を用いる。
• 比較のための最適解を計算するために、整数線形プログラミング（ILP）の定式化を実装。ILPインスタンスの解法にはCPLEXを用いる。
• ヒューリスティックの各反復において、ハードニング意思決定の影響を反映するために、IDR集合および生存エンティティの状態を動的に更新する。
• 2段階の選択プロセスを採用：まず、保護集合が最大のエンティティを特定し、次に、ミンタームカバレッジを最大化することで、同数の選択肢のうちの優位性を決定する。

実験結果

リサーチクエスチョン

• RQ1 多層構造の相互依存ネットワークにおける、異なる種類の相互依存構造のもとでのエンティティハードニング問題の計算複雑性は何か？
• RQ2 敵対的攻撃者が最大K個のノードを標的にする場合、ネットワーク管理者はどのようにk個のエンティティを選択することで、連鎖的障害を引き起こす能力を最大限に低減できるか？
• RQ3 正確なILP手法よりも著しく低い計算コストで、最適解に非常に近い性能を達成できるスケーラブルなヒューリスティックを設計可能か？
• RQ4 異なる実世界のネットワークトポロジーおよび相互依存パターンにおいて、ヒューリスティックの性能は最適なILP解と比べてどの程度か？
• RQ5 敵対的攻撃者の標的ノード数（K）とハードニングされたノード数（k）が、相互依存的電力・通信ネットワークにおけるシステムのレジリエンスに与える影響は何か？

主な発見

• エンティティハードニング問題は、相互依存構造の最も単純なケースでのみ多項式時間で解ける。他のすべてのケースはNP完全である。
• 2番目のケースに対しては、近似不可能性の結果が確立され、P=NPでない限り、多項式時間近似スキームが存在しないことが示された。
• 3番目のケースに対しては、最適解に対する有界な性能比を保証する近似アルゴリズムが提供された。
• 提案されたヒューリスティックアルゴリズムは、アリゾナ州マリコパ郡の5つの実地域において、最適なILP解からの平均偏差がわずか0.13にとどまった。
• ヒューリスティックはkが小さい値のとき最も優れた性能を示し、kが高くなるとわずかに性能が低下する（例：地域1と3ではk=7のとき、偏差が0.5と0.67に上昇）。これはグリーディー選択戦略に起因する。
• 実際の電力網および通信網データ（70基の発電所、470本の送電線、2,690基の基地局、42,723本のファイバーリンク）を用いた実験的評価により、ヒューリスティックが実用的導入に非常に効果的かつスケーラブルであることが確認された。