[論文レビュー] Secure Modulo Sum via Multiple Access Channel

Masahito Hayashi|arXiv (Cornell University)|Dec 28, 2018

Cryptography and Data Security参考文献 29被引用数 4

ひとこと要約

本稿は、複数アクセスチャネル（MAC）におけるモジュロ和の安全計算プロトコルを提案し、複数の参加者が個々の入力を漏洩せずにそれらの和を q で法とする計算を可能にする。チャネル符号化と機密性解析を活用することで、安全なモジュロ和容量の下界を導出し、ガウス型MACに対して明示的な数値結果を提示し、無線通信システムにおける実用的妥当性を示している。

ABSTRACT

We discuss secure computation of modular sum when multiple access channel from distinct players $A_1, \ldots, A_c$ to a third party (Receiver) is given. Then, we define the secure modulo sum capacity as the supremum of the transmission rate of modulo sum without information leakage of other information. We derive its useful lower bound, which is numerically calculated under a realistic model that can be realizable as a Gaussian multiple access channel (MAC).

研究の動機と目的

• 従来の安全通信チャネルの代わりに複数アクセスチャネル（MAC）を用いて、複数の参加者間で安全にモジュロ和を計算することを可能にすること。
• 安全なモジュロ和容量を定義・分析し、和の送信が信頼性と機密性を満たす最大レートとして定義すること。
• 一般的なMAC条件下、特に現実的なガウス型MACモデルに対して、安全なモジュロ和容量の下界を確立すること。
• 暗号的鍵配布に依存せずに、無線ネットワークにおける安全計算の実現可能性を示すこと。
• 安全ゼロ和乱数生成やマルチパーティ計算のための匿名認証など、応用をサポートするようにプロトコルを拡張すること。

提案手法

• 受信者が唯一のモジュロ和しか得られないような送信レートの上限（supremum）として、安全なモジュロ和容量を形式化すること。
• R\'enyi散度および $s$-R\'enyi散度を用いた情報理論的機密性解析により、情報漏洩を制限すること。
• $s$-R\'enyi散度およびチャネル劣化技術を用いて、安全なモジュロ和容量の下界を導出すること。
• アフィン符号構成と最尤デコードを活用し、受信側でのモジュロ和の信頼性回復を保証すること。
• メッセージをランダム線形符号で符号化することで、個々の入力を隠蔽する計算・フォワードフレームワークを安全な設定に適応すること。
• チャネルを実数値加法性ノイズチャネルとしてモデル化し、離散入力を仮定してガウス型MACを分析し、実現可能なレートを数値的に計算すること。

実験結果

リサーチクエスチョン

• RQ1 複数の参加者が、個々の入力を漏洩させることなく、MACを介してモジュロ和を安全に計算できる最大レートは何か？
• RQ2 受信者が信号の重ね合わせを観測するMAC環境において、どのようにして機密性を保証できるか？
• RQ3 一般のMACに対して、安全なモジュロ和容量の下界は何か？対称的または準対称的条件下ではどのように振る舞うか？
• RQ4 提案されたプロトコルは、ガウス型MACのような実用的無線システムで実現可能か？実現可能なレートは何か？
• RQ5 ランダム線形符号化とチャネル劣化技術を用いることで、計算における信頼性と機密性の両立はどのように達成されるか？

主な発見

• 安全なモジュロ和容量は、$s$-R\'enyi散度を含む関数によって下界で抑えられ、一般のMACに対して計算可能な下界を提供する。
• 対称的MACでは、安全なモジュロ和容量は単一ユーザーチャネルの容量に等しくなるため、解析と設計が簡素化される。
• ガウス型MACモデルでは、安全なモジュロ和容量の下界が数値的に計算され、無線ネットワークにおける実用的妥当性が示された。
• アフィン符号と最尤デコードを用いることで、モジュロ和の信頼性回復が達成され、レート条件 (21) を満たす限り誤り確率はゼロに近づく。
• 符号化に一様分布するランダムキーを用いることで、個々のメッセージが受信者に漏洩せず、機密性条件を満たす。
• このフレームワークにより、$k+1$ 人の参加者間で安全なゼロ和乱数を生成可能であり、安全なマルチパーティ計算や匿名認証の暗号的プリミティブとして利用可能である。