Energy-Constrained False Data Injection Attacks in Cyber-Physical Systems Using Wasserstein Distance

現代のインフラストラクチャは、電力網から自動運転車に至るまで、物理的な世界とデジタルネットワークの間の繊細な結合に依存しています。これらのシステムはサイバー物理システムとして知られ、温度、速度、圧力といった現実世界の状況を測定するセンサーを使用し、そのデータを無線ネットワークを通じて中央のコンピュータへと送信します。このコンピュータはナビゲーターとして機能し、システムの真の状態を常に計算して、重要な意思決定を行います。しかし、この無線通信への依存は脆弱性を生み出します。すなわち、データストリームが傍受され、改ざんされる可能性があるということです。攻撃者は物理的な機械を破壊する必要はありません。ただ、デジタルナビゲーターに対して、機械が実際とは異なる挙動をしていると信じ込ませればよいのです。もしナビゲーターが偽りの現実を信じてしまえば、飛行機の進路を外したり、不必要に電力網を停止させたりする可能性があります。セキュリティ研究者の課題は、攻撃者がいかにして通常のデータのノイズの中にこれらの嘘を隠し、システムの組み込みアラームが決して鳴らないほど巧妙に欺瞞を行うかを理解することです。

新しい研究において、研究者のJiawei Fu、Jianing Xin、Chenghan Wang、およびTianju Suiは、攻撃者がこれらのシステムを悪用しながら隠れ続けるための洗練された手法を明らかにしました。彼らは、偽データ注入攻撃と呼ばれる特定の種類の欺瞞に焦点を当てました。これは、攻撃者がセンサーからリモート推定器に送られるデータストリームの中に偽の数値を注入するというものです。このような攻撃の目的は、システムを即座にクラッシュさせることではなく、システムの計算精度を徐々に低下させ、最終的にシステムが根本的に誤った現実に基づいて動作するようにすることです。研究者たちは、攻撃者が「攻撃に使用できるエネルギーの供給が限られていること」と「異常を監視する統計的モニターによって検知されない必要があること」という2つの厳しい制約に直面しながら、いかにしてこの被害を最大化できるかに特に関心を持ちました。

これを解決するために、チームは攻撃を数学的な最適化問題として扱う戦略を開発しました。彼らは、スマートセンサーが「イノベーション」として知られるデータ更新のストリームをリモートコンピュータに送信するシナリオを想定しました。無線リンクの間に位置する攻撃者は、メッセージを傍受して破損させたバージョンに置き換えるかどうかを、あらゆる瞬間において決定しなければなりません。攻撃者には有限のバッテリーがあるため、すべての瞬間に信号をジャミングしたり破損させたりすることはできず、最もダメージを与えるタイミングを選ぶ必要があります。さらに、もし破損したデータが通常のデータと乖too離しすぎている場合、システムの検知器に察知されてしまいます。研究者たちは、検知器のアラームを鳴らすことなく、偽のデータが実際のデータとどれほど「異なっているか」を正確に測定する方法を見つける必要がありました。

以前の差異の測定手法は、複雑な確率分布を比較する際に完全な全体像を捉えきれないことがある統計ツールに依存していました。著者らは、より堅牢な数学的概念である「ワッサースタイン距離（Wasserstein distance）」を採用しました。簡単に言えば、この指標は一つのデータ分布を別の分布へと変換するために必要な労力を測定するものです。これは、データの統計的な形状がどれほど変化したかを定量化するための、精密で幾何学に基づいた方法を提供します。この尺度を用いることで、研究者たちは、偽のデータが検知器を欺けるほど統計的に実データに近い状態を保ちつつ、同時にシステムの誤差を限界点まで押し上げることができるようにしました。

彼らの発見の核心は、完璧な攻撃を設計するための二段階のプロセスです。第一に、彼らは、ステルス性の制限内に留まる限り、最終的な計算において最大の誤差を引き起こす偽データ信号の正確な形状と強度を決定しました。彼らは、この最適な信号が精密な閉形式（closed form）で計算できること、つまり、任意の瞬間における「最善の」嘘をつくための特定の公式が存在することを発見しました。第二に、彼らはその嘘をいつつくべきかというパズルを解きました。攻撃者には限られたエネルギー予算があるため、連続的に嘘をつくことはできません。研究者たちは、このスケジューリング問題をバイナリ選択の問題へと還元しました。すなわち、各タイムステップにおいて、攻撃者は攻撃を実行するか、あるいは沈黙を守るかのいずれかを選択します。これを特定の種類の整数計画問題として解くことで、攻撃を実行することがシステムの精度に最も累積的なダメージを与える正確な瞬間のシーケンスを特定しました。

チームは、精密な状態推定が安全性にとって極めて重要であるシステムである、飛行車両のシミュレーションを用いて彼らの理論をテストしました。彼らは、車両に3つのセンサーとリモート推定器があり、攻撃者が100タイムステップの期間にわたって実行できる「攻撃」の回数が限られているシナリオをモデル化しました。結果として、彼らが提案した戦略は、システムを混乱させるためのランダムな試みよりも大幅に破壊的であることが示されました。攻撃者が計算された最適な信号と正確なスケジュールを用いた場合、システムの最終的な状態推定における誤差は、他のどのシナリオよりもはるかに大きくなりました。また、シミュレーションは明確なトレードオフも明らかにしました。攻撃者がステルス性の必要性（データが通常と多少異なっていてもよいと許容すること）を緩和すればするほど、より大きなダメージを与えることができます。逆に、より厳格なステルス性の要件は、攻撃者をより保守的にさせ、潜在的な被害を減少させます。同様に、より大きなエネルギー予算は、攻撃者が劣化を長く持続させることを可能にし、より深刻な最終誤差へとつながります。

この研究は、攻撃者のための新しい武器を提案するものではなく、むしろ最悪のシナリオの厳密なブループリントを示すものです。攻撃者が隠れながら最も破壊的な経路を数学的に決定できることを証明することで、この研究は現在のリモート推定システムの脆弱性を浮き彫りにしています。この知見は、単に明らかな異常を監視するだけでは不十分であることを示唆しています。なぜなら、洗練された敵対者は、被害が出るまで統計的に通常のノイズと区別がつかないような欺瞞を構築できるからです。研究者たちは、これらの最適な攻撃経路を理解することが、より優れた防御策を設計するために不可欠であり、設計者が単に推測するだけでなく、完璧な一撃を与える瞬間を計算してくるような敵対者を考慮に入れることを強いるものであると結論付けています。