[論文レビュー] Byzantine Fault Tolerant Distributed Quickest Change Detection

Erhan Bayraktar, Lifeng Lai|arXiv (Cornell University)|Jun 10, 2013

Advanced Statistical Process Monitoring参考文献 20被引用数 4

ひとこと要約

本稿は、未知の部分集合のセンサーが改ざんされ、任意または偽のデータを送信する可能性があるセンサー・ネットワークにおけるバシルトリアン障害耐性分散速やちんかん知検出方式を提案する。二重アラーム戦略を導入し、融合センターが少なくとも2つのセンサーからの信号を受信した段階でアラームを発動することで、敵対的攻撃下でも平均運行長（ARL）に対する検出遅延が対数スケールで保たれ、さらに集団的処理によるCUSUM方式により検出遅延を低減するグループ別方式を併用することで性能が向上する。

ABSTRACT

We introduce and solve the problem of Byzantine fault tolerant distributed quickest change detection in both continuous and discrete time setups. In this problem, multiple sensors sequentially observe random signals from the environment and send their observations to a control center that will determine whether there is a change in the statistical behavior of the observations. We assume that the signals are independent and identically distributed across sensors. An unknown subset of sensors are compromised and will send arbitrarily modified and even artificially generated signals to the control center. It is shown that the performance of the the so-called CUSUM statistic, which is optimal when all sensors are honest, will be significantly degraded in the presence of even a single dishonest sensor. In particular, instead of in a logarithmically the detection delay grows linearly with the average run length (ARL) to false alarm. To mitigate such a performance degradation, we propose a fully distributed low complexity detection scheme. We show that the proposed scheme can recover the log scaling. We also propose a centralized group-wise scheme that can further reduce the detection delay.

研究の動機と目的

• 未知の部分集合のセンサーが改ざんされ、任意または偽のデータを送信する可能性がある分散センサー・ネットワークにおける速やちんかん知検出の問題に対処すること。
• 古典的CUSUMがバシルトリアン攻撃下でなぜ失敗するかを分析し、検出遅延がARLに対して線形に増加するのではなく、対数的に増加するという事実を示すこと。
• ARLに対する検出遅延の対数的スケーリングを回復する低複雑性で完全に分散化された検出方式を設計すること。
• グループ別方式を提案し、センサーのデータをグループに集約してCUSUM処理することで、検出遅延をさらに低減すること。
• 任意の攻撃戦略下でも成り立つ検出遅延およびARLの理論的境界を確立すること。

提案手法

• 各センサーは観測値に対して局所的なCUSUM統計量を独立に計算し、そのCUSUMがしきい値を超えた段階で1ビットのアラームを送信する。
• 融合センターは、少なくとも2つのこのような1ビットアラームを受信した段階でグローバルアラームを発動し、これにより「二重アラーム」戦略を形成する。
• 理論的分析では順序統計を用いて検出遅延とARLを評価し、任意のバシルトリアン攻撃下でも対数的スケーリングが成立することを示す。
• グループ別方式では、センサーを3つのグループに分割し、各グループがそのグループのデータに対してCUSUMを実行し、グループのCUSUMがしきい値を超えた段階でアラームを発動する。
• 融合センターは、3つのグループのアラームのうち少なくとも2つが発動した段階で最終的なアラームを発動し、グループ検出時刻の2番目の順序統計を活用する。
• 数学的道具としては、大偏差理論と極値理論を用い、検出遅延とARLの漸近的境界を導出し、発散量D(f₁||f₀)およびセンサー数Nに明示的な依存関係を示す。

実験結果

リサーチクエスチョン

• RQ1 古典的CUSUMの性能は、1つのセンサーですら任意のデータを送信するバシルトリアン攻撃下でどのように劣化するか？
• RQ2 完全に分散化され、低複雑性の方式が、任意のバシルトリアン攻撃下でもARLに対する検出遅延の最適な対数的スケーリングを回復できるか？
• RQ3 グループ別検出戦略は、完全に分散化された方式よりも検出遅延をさらに低減できるか？
• RQ4 提案された方式の任意の攻撃モデル下での検出遅延およびARLの理論的境界は何か？
• RQ5 分散方式とグループ別方式の間で、検出遅延の前対数係数はどのように比較できるか？

主な発見

• 古典的CUSUM戦略はバシルトリアン攻撃下で失敗する：検出遅延はARLに対して線形に増加するが、理論的期待では対数的増加であるべきである。これは命題3.1で示されている。
• 提案された二重アラーム戦略により、ARLに対する検出遅延の対数的スケーリングが回復され、任意の攻撃下でもd(T_h) ≤ (2 / D(f₁||f₀)N) × (log ARL + O(1)) が成立する。
• グループ別方式により、検出遅延の前対数係数が低減され、d(T_h^G) ≤ (2 / D(f₁||f₀)N/3) × (log ARL + O(1)) が達成され、分散方式に比べてスケーリングが改善される。
• 数値的結果により、連続時間および離散時間モデルの両方で、両方式とも検出遅延がARLに対して対数的に増加することが確認され、グループ別方式は遅延と勾配ともに低くなる。
• シミュレーションにおける実際の性能は理論的上界を上回っており、ロバストネスと実用的有効性が示唆される。
• グループ別方式は、N−1台の誠実なセンサーの場合と比較して、検出遅延比が最大で16/3に抑えられるのに対し、分散方式は16に抑えられる。これは理論的予測を確認するものである。