[論文レビュー] Control over adversarial packet-dropping communication networks revisited

Valery Ugrinovskii, Cédric Langbort|arXiv (Cornell University)|Mar 22, 2014

Security in Wireless Sensor Networks参考文献 15被引用数 5

ひとこと要約

この論文は、コントローラーと戦略的ジャマーの間の相互作用を1ステップのゼロ和確率ゲームとしてモデル化することで、アドバーシャルパケットドロップネットワークにおける制御を再考する。非自明なサドルポイント均衡の存在に必要なおよび十分な条件を導出し、ジャマーが状態空間の特定の領域でチャネル選択を確率化する必要があること、これによりコントローラーが非線形応答を取らざるを得なくなること——これが成功したDoS攻撃の特徴であることを示している。

ABSTRACT

We revisit a one-step control problem over an adversarial packet-dropping link. The link is modeled as a set of binary channels controlled by a strategic jammer whose intention is to wage a `denial of service' attack on the plant by choosing a most damaging channel-switching strategy. The paper introduces a class of zero-sum games between the jammer and controller as a scenario for such attack, and derives necessary and sufficient conditions for these games to have a nontrivial saddle-point equilibrium. At this equilibrium, the jammer's optimal policy is to randomize in a region of the plant's state space, thus requiring the controller to undertake a nontrivial response which is different from what one would expect in a standard stochastic control problem over a packet dropping channel.

研究の動機と目的

• コントロールネットワークにおける戦略的ジャミングを、コントローラーと敵対的ジャマーの間の1ステップのゼロ和確率ゲームとしてモデル化すること。
• ジャマーの最適戦略が、特定のチャネルに固定するのではなく、複数のチャネルにわたって確率化する条件を同定すること。
• このような非自明なジャマー戦略が存在し、性能を低下させる攻撃を引き起こす、プラントの初期状態の集合を特徴づけること。
• このようなジャミング下での最適コントローラー応答が非線形であることを示し、標準的な線形フィードバック方策とは対照的であること。
• 非線形および線形2次形式の制御問題に一般に適用可能なフレームワークを提供することにより、先行研究における敵対的チャネル制御の結果を拡張すること。

提案手法

• 混合戦略を用いた1ステップの静的ゼロ和確率ゲームとして、敵対的チャネルにおける制御問題を定式化する。
• コントローラーの行動とジャマーのチャネル選択に依存するペイオフ関数を導入し、状態依存コストとチャネル信頼性を組み込む。
• ペイオフ関数の凸性と強制性に基づいて、サドルポイントの存在に必要なおよび十分な条件を適用する。
• 状態依存の2次形式を用いて、線形2次形式の場合の最適確率的ジャマー戦略の存在条件を明示的に導出する。
• 現在のチャネルと最も遮断効果の強いチャネルに限定して、2チャネルの簡略化されたゲームに還元することで、解析を単純化する。
• 状態ベクトルとシステムパラメータに関する代数的条件を用いて、ジャマーの確率化が最適となる領域を特定する。

実験結果

リサーチクエスチョン

• RQ1 ジャマーが特定のチャネルに固定するのではなく、複数のチャネルにわたって確率化することで、最大の混乱を引き起こす条件は何か？
• RQ2 非自明なジャマー戦略（具体的には、チャネル選択の確率化）が存在し、かつ最適であるような初期プラント状態の集合は何か？
• RQ3 ジャマーが戦略を確率化する場合、最適コントローラー応答は標準的な線形フィードバックとどのように異なるか？
• RQ4 ペイオフ関数の一般凸性および強制性条件を用いて、非自明なサドルポイント均衡の存在を特徴づけられるか？
• RQ5 ジャマーが確率化によって利益を得るためには、特定のチャネルに異なるペイオフを割り当てる必要があるのか、それともチャネル信頼性だけがあれば十分か？

主な発見

• 非自明なサドルポイント均衡が存在するための必要十分条件は、システムの状態遷移行列、入力行列、およびチャネル確率を含む特定の不等式が状態ベクトルを満たすことである。
• ジャマーの最適戦略は、現在使用中のチャネルと最も遮断効果の強いチャネル（f₁）の間で確率化することであるが、これは状態が条件 $1 - \frac{1}{(1+\|B\|^2 q_1)^2} < z < 1 - \frac{1}{(1+\|B\|^2 q_{j^-})^2}$ で定義される特定の領域内にある場合に限る。ここで $z = \frac{\tau \|B\|^2}{(q_{j^-}-q_1)x^T A^T B B^T A x}$ である。
• 最適コントローラー応答は非線形であり、$\bar{u} = -\frac{1}{\|B\|^2} B^T A x \left(1 - \sqrt{\frac{\tau \|B\|^2}{(q_1 - q_{j^-}) x^T A^T B B^T A x}} \right)$ で与えられる。これは線形フィードバックとは異なり、単純に適用すると性能が劣化する。
• このような領域の存在は、ジャマーの切り替えコスト（τで表される）および現在のチャネルと最も遮断効果の強いチャネルの遷移確率に依存する。
• 導出された条件は先行研究[15]を一般化し、完全な数値解析を要せず、攻撃に関連する状態空間を直接特徴づけることができる。
• このフレームワークは、ジャマーによる確率化が戦略的優位であることを確認しており、標準的な制御方策がi.i.d.パケット損失を仮定しているため、攻撃を検出できないことを示している。