[論文レビュー] Strategic Topology Switching for Security-Part II: Detection & Switching Topologies

Yanbing Mao, Emrah Akyol+1 more|arXiv (Cornell University)|Nov 30, 2017

Distributed Control Multi-Agent Systems参考文献 32被引用数 7

ひとこと要約

本稿は、攻撃開始時刻や改ざんされたエージェント数の知識が不要な状況下でも、2次元マルチエージェントシステムにおけるゼロダイナミクス攻撃（ZDA）を検出するための戦略的トポロジー切替フレームワークを提案する。ルネッジャ観測器に基づく検出と動的トポロジー切替を活用することで、一般条件のもとで検出可能性を確保し、攻撃者知識に制限を設けない分散型システムにおける堅牢なセキュリティを実現する。

ABSTRACT

This two-part paper considers strategic topology switching for security in the second-order multi-agent system. In Part II, we propose a strategy on switching topologies to detect zero-dynamics attack (ZDA), whose attack-starting time is allowed to be not the initial time. We first characterize the sufficient and necessary condition for detectability of ZDA, in terms of the network topologies to be switched to and the set of agents to be monitored. We then propose an attack detection algorithm based on the Luenberger observer, using the characterized detectability condition. Employing the strategy on switching times proposed in Part I and the strategy on switching topologies proposed here, a strategic topology-switching algorithm is derived. Its primary advantages are threefold: (i) in achieving consensus in the absence of attacks, the control protocol does not need velocity measurements and the algorithm has no constraint on the magnitudes of coupling weights; (ii) in tracking system in the absence of attacks, the Luenberger observer has no constraint on the magnitudes of observer gains and the number of monitored agents, i.e., only one monitored agent's output is sufficient; (iii) in detecting ZDA, the algorithm allows the defender to have no knowledge of the attack-starting time and the number of misbehaving agents (i.e., agents under attack). Simulations are provided to verify the effectiveness of the strategic topology-switching algorithm.

研究の動機と目的

• 攻撃開始時刻が未知であり、システム初期化時にも同定されない状況下で、静かで一見検出困難なゼロダイナミクス攻撃（ZDA）を検出するという重要なギャップを埋める。
• 通常動作時における速度測定の必要性や結合重みの制約がない分散型検出メカニズムを開発する。
• 防衛者が誤動作エージェント数や正確な攻撃発生時刻を把握していない状況でも、ZDAの検出を可能にする。
• 通常時におけるシステムの安定性とコンセンサスを維持しつつ、戦略的トポロジー切替によって攻撃時における検出可能性を確保する。
• 従来の研究で制限的とされた仮定（攻撃開始時刻の事前知識、固定されたネットワーク接続要件）を排除する。

提案手法

• 攻撃対象となるネットワークトポロジーと監視対象エージェント集合に基づき、ZDAの検出可能性条件を提案する。
• 導出された検出可能性条件を用いて、リアルタイムでZDAを同定可能なルネッジャ観測器に基づく検出アルゴリズムを採用する。
• 第I部で提示されたトポロジー切替戦略と、新たな検出メカニズムを統合し、包括的な戦略的トポロジー切替アルゴリズムを構築する。
• ラプラシアン行列のスペクトル解析とシステムダイナミクスを用いて、攻撃時と通常時における固有値の挙動を特徴付ける。
• ラプラシアン行列の固有値と観測器パラメータを含む行列式に基づく条件を導出し、検出可能性の検証を行う。
• 動的変化が生じるシステムダイナミクスが攻撃がない場合にシステムを不安定にしないように、トポロジー切替戦略を設計する。

実験結果

リサーチクエスチョン

• RQ1 攻撃開始時刻が未知である状況下で、2次元マルチエージェントシステムにおけるゼロダイナミクス攻撃は、どのような条件下で検出可能か？
• RQ2 速度測定が不要で結合重みに制限のない分散型検出メカニズムは、どのように設計できるか？
• RQ3 ZDAの検出可能性を保証するとともに、通常時のコンセンサスと安定性を維持するトポロジー切替戦略は何か？
• RQ4 防衛者が誤動作エージェント数を把握していない状況でも、検出アルゴリズムは効果的に機能するか？
• RQ5 トポロジー切替に起因するシステムダイナミクスの動的変化が、通常時におけるシステムの不安定化を引き起こさないための数学的条件は何か？

主な発見

• 提案手法は、防衛者が攻撃開始時刻を把握していない状況下でも、ZDAの検出可能性を達成しており、従来研究の主な制限を克服する。
• 観測器設計とトポロジー切替戦略のおかげで、誤動作エージェント数に関係なく、1つの監視エージェントで十分に効果的なZDA検出が可能となる。
• 制御プロトコルは速度測定を必要とせず、結合重みに対しても大きさの制約がないため、実用性と耐障害性が向上する。
• 攻撃が存在しない状況では、システムは2次元コンセンサスを維持し、通常動作が保たれる。
• 検出可能性条件は、ラプラシアン行列のスペクトル特性と観測器パラメータに基づき、必要十分条件として導出された。
• シミュレーションにより、攻撃発生時刻が未知の現実的状況下でも、戦略的トポロジー切替アルゴリズムがZDAを効果的に検出できることを確認した。