[論文レビュー] Wiretapping a hidden network

Haris Aziz, Oded Lachish+2 more|ArXiv.org|Sep 29, 2009

Game Theory and Applications参考文献 15被引用数 5

ひとこと要約

本稿はネットワークセキュリティゲームにおける最適なエッジ分布戦略を研究し、非最適選択に対する罰則を最小限に抑えるために、第二に最良の応答の重みを最大化することに注力する。素因数分割フレームワークを導入し、インダクションを用いてカットレートと重み再配分を駆使して、最小連結スパニング部分グラフの重みに関する境界を確立することで、エッジ分布が最適値に達するのはそれが強固である場合に限ることを証明する。

ABSTRACT

We consider the problem of maximizing the probability of hitting a strategically chosen hidden virtual network by placing a wiretap on a single link of a communication network. This can be seen as a two-player win-lose (zero-sum) game that we call the wiretap game. The value of this game is the greatest probability that the wiretapper can secure for hitting the virtual network. The value is shown to equal the reciprocal of the strength of the underlying graph. We efficiently compute a unique partition of the edges of the graph, called the prime-partition, and find the set of pure strategies of the hider that are best responses against every maxmin strategy of the wiretapper. Using these special pure strategies of the hider, which we call omni-connected-spanning-subgraphs, we define a partial order on the elements of the prime-partition. From the partial order, we obtain a linear number of simple two-variable inequalities that define the maxmin-polytope, and a characterization of its extreme points. Our definition of the partial order allows us to find all equilibrium strategies of the wiretapper that minimize the number of pure best responses of the hider. Among these strategies, we efficiently compute the unique strategy that maximizes the least punishment that the hider incurs for playing a pure strategy that is not a best response. Finally, we show that this unique strategy is the nucleolus of the recently studied simple cooperative spanning connectivity game.

研究の動機と目的

• 隠れたネットワークセキュリティゲームにおいて、純粋な第二に最良の応答の重みを一意に最大化する方法を特定すること。
• エッジ分布を最適化することで、ハイダーが非最適な純粋戦略を選択した際の罰則を最小化すること。
• エッジ分布が最適ゲーム値に達する条件を特徴づけること、特に強固な分布に注目すること。
• 異なるエッジ分布における最小連結スパニング部分グラフの重みに関する理論的境界を確立すること。
• 素因数分割とカットレートが最適および退化したエッジ集合を決定する役割を形式化すること。

提案手法

• エッジを互いに素な集合 $\mathcal{P} = \{E_1, \dots, E_5\}$ に素因数分割することで、エッジ分布構造を分析する。
• 各 $i$ に対して $\mathcal{E}(\beta) = \mathcal{P}$ かつ $E_i^\beta = E_i$ を満たす maxmin-エッジ分布 $\beta$ を定義する。
• 各分割要素におけるカットレート $cr_k^\beta$ を分析し、$k=1,\dots,4$ に対して $cr_k^\beta = 1/2$ であるが、$cr_5^\beta = 4/10 < 1/2$ であるため、$E_5$ は退化していることが示される。
• 成分間の接続を維持するために最小限のエッジを用いる、オムニ連結スパニング部分グラフ $H$ の概念を導入する。
• エッジ分布 $\alpha$ に含まれる異なる正の重みの数 $s$ について帰納法を用いる。初期状態は $s=1$ であり、重み再配分を用いた帰納的ステップをとる。
• 帰納的ステップでは二通りのケースを適用する：(a) $cr_s^\alpha \leq$ 以前の集合の平均カットレートであれば、$E_s^\alpha$ から以前の集合へ重みを再配分する；(b) $cr_s^\alpha >$ 平均であれば、以前の集合から $E_s^\alpha$ へ重みを再配分し、$s-1$ 個の異なる重みを保証する。

実験結果

リサーチクエスチョン

• RQ1 エッジ分布が最適ゲーム値に達するための条件は何であるか？
• RQ2 非最適選択に対する罰則を最小化するために、第二に最良の応答の重みをどのように最大化できるか？
• RQ3 どのような場合に分布が「強固」とされるのか、そしてそれが最適値に達するのとどのように関係するか？
• RQ4 素因数分割構造が退化エッジ集合およびカットレートを決定する役割を果たすのはどのような場合か？
• RQ5 エッジ集合間での重み再配分がカットレートおよび最小連結スパニング部分グラフの値に与える影響は何か？

主な発見

• 与えられたグラフにおいて最適値 $\mathit{opt} = 1/2$ であり、これは各分割要素 $E_k^\beta$ のカットレートが $k=1,\dots,4$ に対して $1/2$ に達する場合に達成される。
• 集合 $E_5$ はカットレート $4/10 < 1/2$ を示し、これにより Lemma~\ref{lem:deg-set} に従い、退化集合と分類される。
• 各 $K_4$ から2本のエッジ、各成分間接続から1本のエッジ、$K_5$ から4本を超えるエッジを用いて構築されたオムニ連結スパニング部分グラフ $H$ は、依然としてカットレート $4/10$ を達成する。
• 部分グラフ内でエッジ $e_3$ を $e_1$ に置き換え可能であるため、$e_1$ を含む分割に属するエッジは、$e_3$ を含む分割に属するエッジと同等以上に重みを持つ必要がある。
• 任意のエッジ分布 $\alpha$ に対して $\alpha(H) \leq \mathit{opt}$ であり、等号が成り立つのは $\alpha$ が強固である場合に限る。これは、異なる正の重みの数に関する帰納法によって証明される。
• 帰納的証明により、$\alpha(H) = \mathit{opt}$ であれば、$\alpha$ は強固でなければならないことが示される。これは、$s-1$ 個の重みを持つ $\beta$ を構築し、$\beta(H') \geq \alpha(H)$ を満たし、帰納法の仮定を適用することで得られる。