Analysis of Dynamic-Key LWE-Based Encrypted Control Systems for Asymptotic Stability and Numerical Safety

技術要約：漸近安定性と数値的安全性を目的とした、動的鍵LWEベースの暗号化制御システムの解析

問題提起
サイバー物理システム（CPS）とネットワーク制御器の統合は、重大なセキュリティ上の脆弱性をもたらすため、暗号化制御の使用が必要となっている。準同型暗号（HE）は暗号化されたデータ上での計算を可能にするが、学習誤差（LWE）問題に基づく耐量子計算機暗号（PQC）への移行は、特有の課題を提示する。従来のスキームとは異なり、LWEベースのシステムは、セキュリティを確保するために意図的な暗号化誤差を導入する。暗号化制御システムにおいて、これらの暗号化誤差は、実数値信号を平文に変換する際の量子化誤差と組み合わさることで、システムを不安定化させたり、数値オーバーフローを引き起こしたりする可能性がある。

既存の研究では、誤差を有界な摂動として扱ったり、暗号化ノイズを無視できるものと仮定したりすることで、暗号化制御における安定性を扱ってきた。しかし、これらのアプローチは、静的な量子化器に依存しているか、あるいは動的鍵L速LWEスキームに固有の誤差伝播を考慮できていないことが多い。本研究が取り組む核心的な問題は、動的鍵LWE暗号を利用する状態フィードバック制御システムにおいて、エンコーダおよびデコーダの設計が漸近安定性と数値的安全性能（オーバーフローの防止）を同時に保証するための厳密な条件が欠如していることである。

手法
著者らは、離散時間線形状態フィードバック制御システムのための、時変エンコーダおよびデコーダを分析・設計するためのフレームワークを提案している。その手法は以下の通りである：

1. システムモデリング： 本研究では、制御ゲインが静的量子化器（$\gamma_0$）を用いてエンコードされ、システム状態が時変量子化器（$\gamma_1(k)$）を用いてエンコードされる暗号化制御システムをモデル化している。このシステムは、リプレイ攻撃やシステム識別攻撃に耐えるために、プライベート鍵と暗号文が各ステップで共同で更新される動的鍵LWE暗号スキームを利用している。
2. 誤差の特性評価： 著者らは、以下の2種類の誤差の明示的な境界を導出している：
   • 量子化誤差 ($\delta_x$)： 実数値の状態を整数平文に変換することから生じる。
   • 暗号化誤差 ($\delta_u$)： LWE復号プロセスから生じるものであり、暗号化ノイズ、量子化ゲイン、および制御パラメータに依存する。
3. 安定性解析： リアプノフ法を用い、両方の誤差が存在する状況下での閉ループシステムのダイナミクスを分析する。著者らは、加法的ノイズが存在する場合でもシステムが漸近的に安定し続けるための条件を導出するために、リアプノフ関数候補を構築する。
4. オーバーフロー防止： 本研究では、「数値的安全性能」を、エンコードされた値が（モジュロ演算による）オーバーフローを防ぐために平文空間（$\mathbb{Z}_t$）内に留まる条件として定義する。著者らは、この安全性を確保するための量子化ゲインの上限を導出する。
5. 理論的導出： 本論文は、静的ゲイン $\gamma_0$ および時変ゲイン $\gamma_1(k)$ の許容範囲を定義する一連の不等式（定理1）を定式化している。これらの条件は、リアプノフ関数が時間の経過とともに減少し（安定性）、かつエンコードされた値がモジュラス $t$ を超えないこと（安全性）を保証する。

主な貢献
本研究の具体的な貢献は以下の通りである：

• 暗号化ノイズ下での安定性条件： 暗号化誤差を無視できると仮定したり、静的な量子化器を使用したりした従来の研究とは異なり、本論文は、暗号化誤差が無視できない場合でも漸近安定性を保証する量子化ゲインの条件を導出している。
• 動的ゲイン・スケジューリング： 著者らは、時変量子化ゲイン $\gamma_1(k)$ の許容範囲を特性化している。この解析により、システム状態がゼロに収束するにつれて、量子化ゲインは時間とともに増加しなければならない（すなわち、$\|x(k)\| \to 0$ のとき $\gamma_1(k) \to \infty$ となる必要がある）ことが明らかになった。
• 数値的安全性能の境界： 本論文は、LWEベースのシステムの正しい動作に不可欠な、暗号空間におけるオーバーフローを防ぐための量子化ゲインの明示的な上限を提供している。
• 包括的なフレームワーク： 本研究は、量子化誤差と暗号化誤差の解析を統合し、信頼性の高い暗号化状態フィードバック制御のための完全な設計ガイドラインを提供している。

結果
導出された条件の妥当性は、3状態線形プラントと128ビットのセキュリティを持つ動的鍵LWEスキームを用いた数値シミュレーションによって確認された。

• 漸近安定性： シミュレーション結果は、提案された時変エンコーダ（定理1に従って設計されたもの）がシステム状態をゼロへと駆動し、漸近安定性を達成することを示している。対照的に、静的エンコーダ（固定された $\gamma_1$ を使用）は、状態ノルムが十分に小さくなった際に、固定ゲインが安定性に必要な下限を満たさなくなるため、漸近安定性を達成できなかった。
• ノイズ処理： 提案手法は暗号化ノイズを効果的に管理した。ゲイン設計において暗号化ノイズを考慮していなかった先行文献の手法と比較すると、修正されていないアプローチでは、元の制御信号および状態軌跡から大幅な偏差が生じることが示された。
• オーバーフロー防止： シミュレーションにより、設計されたゲインがエンコードされた値を有効な平文範囲内に保持し、オーバーフローを防ぐことが確認された。
• 計算効率： 著者らは、Apple M4チップと24 GBのメモリを搭載したMacBook Airにおける処理時間を測定した。1ステップあたりの総処理時間は、$(7.51 \pm 0.07) \times 10^{-1}$ msと報告されている。これは、ミリ秒スケールのサンプリング周期を持つ制御システムへのリアルタイム実装の実現可能性を示唆している。

意義と主張
本論文の主要な意義は、動的鍵LWEに基づく信頼性の高い暗号化制御システムの理論的基礎を確立した点にあると著者らは主張している。量子化誤差と暗号化誤差の相互作用を明示的に考慮することで、本研究は、そのようなシステムが単に動作するだけでなく、安定して、かつ安全に動作するための必要な条件を提供している。

著者らは、提案手法が暗号化誤差が存在する場合でも漸近安定性を保証することを強調しており、これは従来の静的量子化器を用いたアプローチにおける限界である。さらに、オーバーフローを防ぐためのゲインの許容範囲を特性化することで、本研究は、PQCベースの制御の安定性解析においてしばしば見落とされる、数値的安全性能という重要な問題に対処している。本研究は、セキュリティ、安定性、および数値的整合性のバランスを取った設計フレームワークを提供することで、量子耐性を持つ暗号化制御の実用的な展開に向けた一歩となるものである。今後の課題として、このフレームワークの実世界システムへの実装および、より一般的な制御設定への拡張が挙げられている。