[論文レビュー] Multivariate Cryptosystems for Secure Processing of Multidimensional Signals

Alberto Pedrouzo-Ulloa, Juan Ramón Troncoso-Pastoriza+1 more|arXiv (Cornell University)|Dec 3, 2017

Chaos-based Image/Signal Encryption参考文献 3被引用数 4

ひとこと要約

本稿では、2次元／3次元画像や動画などの多次元信号の効率的で安全かつコンパクトな同型暗号化を可能にする、格子に基づく暗号的ハード問題であるm-RLWE（多次元リング学習誤差問題）を導入する。m-RLWEを活用することで、RLWE や Paillier と比較して暗号文の拡大を低減し、計算オーバーヘッドを抑えつつ、ブロックベースの暗号化信号処理における性能とセキュリティを顕著に向上させる暗号方式を設計した。実装例として、最大48,000ビットのセキュリティと、暗号化画像におけるDCT計算が100倍高速化された。

ABSTRACT

Multidimensional signals like 2-D and 3-D images or videos are inherently sensitive signals which require privacy-preserving solutions when processed in untrustworthy environments, but their efficient encrypted processing is particularly challenging due to their structure, dimensionality and size. This work introduces a new cryptographic hard problem denoted m-RLWE (multivariate Ring Learning with Errors) which generalizes RLWE, and proposes several relinearization-based techniques to efficiently convert signals with different structures and dimensionalities. The proposed hard problem and the developed techniques give support to lattice cryptosystems that enable encrypted processing of multidimensional signals and efficient conversion between different structures. We show an example cryptosystem and prove that it outperforms its RLWE counterpart in terms of security against basis-reduction attacks, efficiency and cipher expansion for encrypted image processing, and we exemplify some of the proposed transformation techniques in critical and ubiquitous block-based processing applications

研究の動機と目的

• 画像や動画などの大規模で構造的な多次元信号を処理する既存の同型暗号化方式における非効率性と高い暗号文拡大を解消すること。
• 再線形化行列が大きく、計算コストが高いため、RLWE や Paillier が暗号化信号におけるブロック単位や変換ベースの処理（例：DCT）を処理する際の制限を克服すること。
• 多次元信号構造をネイティブにサポートする新しい暗号的ハード問題であるm-RLWEを設計し、コンパクトで効率的かつ安全な処理を可能とすること。
• プライバシー保護型外部信号処理を実現するため、暗号化領域内で非インタラクティブかつ構造を保ったまま、異なる信号フォーマット（例：ブロックベース処理）間の変換を可能とすること。
• 医療画像や遠隔信号解析などの実世界の応用において、RLWE や Paillier と比較して高いセキュリティと低い計算オーバーヘッドを実現すること。

提案手法

• m-RLWEをRLWEの一般化として提案し、多次元信号の次元と自然に整合する多次元多項式環をサポートするリング構造を拡張する。
• m-RLWEに基づく再線形化方式の暗号方式を設計し、暗号化された多次元信号における効率的な同型演算（加算および乗算）を可能とする。
• 暗号化信号を異なる構造的表現（例：フル画像からブロック単位の形式）に変換するための新規変換技術を導入し、復号化を伴わずに処理を可能とする。
• m-RLWEの構造を活用し、1つのコンパクトな暗号文に複数の信号成分を符号化することで、パッケージング技術と比較してオーバーヘッドを低減し、暗号文の拡大を最小限に抑える。
• CRT やパッケージングなどの既存の最適化手法とm-RLWEを統合し、同型演算の並列化と高速化をさらに促進する。
• m-RLWE暗号方式を、RLWE や Paillier と比較して、暗号化されたブロックDCT計算を含む実世界の信号処理タスクで実装・ベンチマーク化する。

実験結果

リサーチクエスチョン

• RQ1 多次元信号の構造と次元性をネイティブにサポートする新しい暗号的ハード問題を設計でき、暗号文の拡大と計算コストを低減できるか？
• RQ2 m-RLWEは、暗号化された画像や動画処理タスクにおいて、RLWE や Paillier と比較して性能とセキュリティでどのように差をつけるか？
• RQ3 m-RLWEを用いて、非インタラクティブかつ構造を保ったまま（例：ブロック単位処理など）暗号化された多次元信号上で効率的な変換処理を実行できるか？
• RQ4 m-RLWEにおける「仮想的次元」の使用は、同型信号処理における効率性を損なうことなく、セキュリティをどの程度向上できるか？
• RQ5 m-RLWEに基づく暗号方式は、DCTなどの複雑な変換を伴う医療画像（例：MRI、CTスキャン）の暗号化処理において、既存の方式を凌駆できるか？

主な発見

• 64×64画像に対して2-RLWE暗号方式は481ビットのセキュリティを達成し、ブロックDCT計算時間を10.28秒（RLWE）および4.79秒（Paillier）から0.16秒に短縮した。
• 256×256画像では、2-RLWE方式が8,340ビットのセキュリティを達成し、ブロックDCT計算時間は2.87秒であった。一方、RLWE方式は2,940.47秒を要し、1,000倍以上遅い。
• m-RLWEベースの暗号方式は、Paillierと比較して最大90％、RLWEと比較して50％の暗号文拡大を削減した。256×256画像の暗号化画像サイズは7.30×10⁶ビットであった。
• 64×64画像において、2-RLWE方式は再線形化行列サイズをRLWEの6.71×10⁹ビットから1.05×10⁸ビットに削減し、実用的なブロックDCT計算を可能とした。
• 3-RLWEバージョンは、512×512画像に対して31,968ビットのセキュリティを達成し、RLWEと比較してブロックDCT計算時間が10倍高速化された。これは、高いセキュリティと妥当な効率性の両立を示している。
• m-RLWE暗号方式は、64×64画像におけるすべての指標でRLWEおよびPaillierを上回った：暗号化時間（0.46 ms vs. 0.46 ms および 57 s）、復号化時間（0.12 ms vs. 0.12 ms および 56 s）、DCT計算時間（0.16 s vs. 10.28 s および 4.79 s）