[論文レビュー] Encrypted control for networked systems -- An illustrative introduction and current challenges

Moritz Schulze Darup, Andreea B. Alexandru+2 more|arXiv (Cornell University)|Oct 1, 2020

Smart Grid Security and Resilience参考文献 83被引用数 5

ひとこと要約

本論文は、クラウドベースおよび分散型制御アーキテクチャにおけるプライバシー保護のため、ネットワーク化されたシステムにおける暗号化制御を導入する。同様に、同型暗号とセキュアマルチパーティコンピューティングを用いて、機密データの安全な計算と通信を可能にする。主な貢献は、制御アルゴリズムの暗号化形式を体系的に導出するフレームワークの構築であり、計算オーバーヘッド、量子化、システム設計における課題を強調し、耐障害性・スケーラビリティ・実世界への適用を求める呼びかけを発している。

ABSTRACT

Cloud computing and distributed computing are becoming ubiquitous in many modern control systems such as smart grids, building automation, robot swarms or intelligent transportation systems. Compared to "isolated" control systems, the advantages of cloud-based and distributed control systems are, in particular, resource pooling and outsourcing, rapid scalability, and high performance. However, these capabilities do not come without risks. In fact, the involved communication and processing of sensitive data via public networks and on third-party platforms promote, among other cyberthreats, eavesdropping and manipulation of data. Encrypted control addresses this security gap and provides confidentiality of the processed data in the entire control loop. This paper presents a tutorial-style introduction to this young but emerging field in the framework of secure control for networked dynamical systems.

研究の動機と目的

• 公開ネットワーク上での盗聴や改ざんのリスクが増大するクラウドベースおよび分散型制御システムにおける、機密データの露出という脅威に対処する。
• ネットワーク化動的システムにおける従来の制御方式の代替として、プライバシー保護型制御の包括的チュートリアルを提供する。
• 標準制御アルゴリズムを暗号化された形式に変換する際の主な課題を特定・分析する。計算オーバーヘッド、通信負荷、量子化効果が含まれる。
• スマートグリッド、交通、産業オートメーションなどのインフラに不可欠な分野における、安全で耐障害性があり実用的な暗号化制御システムの開発を促進する。
• 暗号化制御分野の発展を促すために、未解決の問題と具体的な研究方向性を提示する。

提案手法

• すべての段階（送信、保存、計算）で制御データを暗号化するために、同型暗号（例：Paillier暗号方式）を適用し、制御ループ全体で機密性を確保する。
• セキュアマルチパーティコンピューティング（MPC）技術を用いて、クラウドサーバーなどの信頼できない第三者プラットフォーム上でも、中間データを露呈せずに処理を実行可能にする。
• 数学的演算をプライバシー保護型の方法で再表現することで、標準制御アルゴリズム（例：モデル予測制御）を同等の暗号化形式に変換する。
• 暗号化技術と制御理論的原則を統合し、制御性能を維持しながらプライバシーを確保する。これには、暗号化に起因するノイズや誤差伝搬の取り扱いを含む。
• 固定小数点量子化および非一様量子化スキームが、暗号化制御システムの安定性と精度に与える影響を分析する。
• 不正攻撃（例：偽装データインジェクション、サービス拒否攻撃）に対する防御を目的として、暗号化制御と整合性・可用性に焦点を当てたメカニズムを組み合わせたハイブリッドアーキテクチャを提案する。

実験結果

リサーチクエスチョン

• RQ1 標準制御アルゴリズムを、制御性能および安定性を保持したまま、暗号化データ上で動作可能にする再定式化の方法は何か？
• RQ2 特に遅延やパケット損失といった実世界の制約下で、暗号化制御システムにおけるプライバシー、計算コスト、通信負荷のトレードオフはどのようなものか？
• RQ3 量子化誤差および暗号化ノイズが、暗号化制御システムの安定性と耐障害性に与える影響は何か。また、それらを緩和する方法は何か？
• RQ4 実用的な産業応用に向けた暗号化制御の実装を可能にするために、完全同型暗号やセキュアMPCといった効果的な暗号技術は何か？
• RQ5 暗号化制御を既存のセキュリティおよびセーフティメカニズムと統合することで、インフラに不可欠な分野における機密性と整合性の両立をどのように実現できるか？

主な発見

• 暗号化制御により、クラウドや信頼できないプラットフォーム上で処理される場合でも、システム状態、制御入力、モデルパラメータといった機密データのエンドツーエンドの機密性が確保される。
• 同型暗号（例：Paillier）の使用により、暗号文サイズが顕著に増加する。例えば、2048ビット鍵では4096ビットにまで増加し、通信および保存のオーバーヘッドが増加する。
• 現在の暗号化コントローラーの多くは、部分的同型暗号（例：Paillier、ElGamal）や単純なMPCプロトコルに依存しており、完全同型暗号スキームを採用しているのはほんのわずかである。
• 既存の実装は、多くの場合、通信遅延、パケット損失、センサーやアクチュエータにおける計算制約といった実世界の問題を無視した理想化された条件を仮定している。
• 量子化およびノイズを伴う暗号化制御システムの耐障害性証明は、非線形制御およびモデル予測制御においても未解決の課題のままである。
• スマートグリッド、ビル自動化、ロボットスワームなどの分野では、暗号化制御の実世界への展開が可能であり、データの機密性が性能のオーバーヘッドを正当化する状況では特に有効である。