[論文レビュー] Secure Computation-and-Forward with Linear Codes

Masahito Hayashi, Tadashi Wadayama+1 more|arXiv (Cornell University)|Apr 28, 2018

Wireless Communication Security Techniques参考文献 11被引用数 5

ひとこと要約

本稿は、線形符号とuniversal2ハッシュ関数を用いた安全な計算・フォワード方式を提案し、信頼できないリレーや中継ノードを介して2ノードがメッセージを交換する際、個々のメッセージ情報が漏洩しないようにする。この方式により、リレーサービスはメッセージのモジュロ和しか復元できず、LDPCなどの低複雑度符号を用いることで強い情報漏洩防止性を達成する。また、BPSK変調を想定した実用的実装のための有限長における情報漏洩解析も提供する。

ABSTRACT

We discuss secure transmission via an untrusted relay when we have a multiple access phase from two nodes to the relay and broadcast phase from the relay to the two nodes. To realize the security, we construct a code that securely transmits the modulo sum of the messages of two nodes via a multiple access channel. In this code, the relay cannot obtain any information for the message of each node, and can decode only the messages of the two nodes. Our code is constructed by simple combination of an existing liner code and universal2 hash function.

研究の動機と目的

• 信頼できないリレーサービスが存在する双方向リレーネットワークにおいて、ノード間がリレーサービスを介してメッセージを交換する際の情報漏洩問題に対処すること。
• 固定された信号点を持つ符号と低複雑度の符号化・復号化を実現する実用的な符号化方式を設計し、線形符号を用いた安全な計算・フォワードを可能にすること。
• リレーサービスが個々のメッセージを学習できないようにしつつ、メッセージの和しか復元できないようにすることで、強い情報漏洩防止性を確保すること。
• 特にLDPC符号とBPSK変調を想定した実世界での実装を想定し、有限長における情報漏洩解析を提供すること。
• 中間ノードが個々のメッセージを学習してはならないネットワークコーディングの応用例（例えばバタフライネットワーク）に、安全な計算・フォワードを拡張すること。

提案手法

• F_q^n 上の一般線形符号とuniversal2ハッシュ関数を組み合わせることで、個々のメッセージをマスクする安全な符号を構築する。
• 2段階プロトコルを採用：複数アクセスフェーズ（ノードからリレーへ）とブロードキャストフェーズ（リレーからノードへ）を実施し、直交伝送を用いる。
• 入力をBPSKにより実数／複素数信号に変換するチャネルモデルを採用し、リレーは信号のノイズを含む重ね合わせを観測する。
• Rényi発散度とR'ényiエントロピーを用いて、Rényi発散度のs-導関数を用いて有限長における情報漏洩境界を導出する。
• リレーの観測と個々のメッセージ間の相互情報量の上界を導出し、強い情報漏洩防止性を保証する。
• 密度推移法と空間的カップリング技術を用いて、BPSK方式におけるLDPC符号の漸近的達成可能レートを評価する。

実験結果

リサーチクエスチョン

• RQ1 実装複雑度を低減するために、ラティス符号の代わりに線形符号を用いた安全な計算・フォワード方式を構築可能か？
• RQ2 信頼できないリレーが存在する双方向リレーネットワークにおいて、有限長設定下で強い情報漏洩防止性をどのように保証できるか？
• RQ3 実用的なエラー訂正符号（例：LDPC）を用いた場合、提案方式の漸近的達成可能レートはどのようになるか？
• RQ4 中間ノードが個々のメッセージを学習してはならないネットワークコーディングの応用例（例：バタフライネットワーク）に、提案方式を適用可能か？
• RQ5 BPSK変調方式において、コード長と信号対雑音比（SNR）が増加するに従い、情報漏洩性能はどのようにスケーリングするか？

主な発見

• 提案方式は、リレーの観測と個々のメッセージ間の相互情報量がコード長に指数的に小さくなることにより、強い情報漏洩防止性を達成する。
• 有限長における情報漏洩解析から、漏洩される情報量がRényi発散度とコードブック内のコドワード数を含む式で有界であることが示された。
• 空間的カップリングを施したLDPC符号とBPSK変調を用いた場合、漸近的達成可能レートは、情報漏洩制約下でチャネル容量に近づく。
• 固定された信号点を持つ線形符号を用いることで、ラティス符号の高コストを回避し、計算複雑度を低く保つことができる。
• 情報漏洩レートは、min(2I(Y;X1+X2)[W] - I(Y;X1,X2)[W], I(Y;X1+X2)[W] - I(Y;X1)[W]) で有界であり、これによりリレーが個々のメッセージを復元できないことが保証される。
• 数値的評価により、最適化されたLDPC符号と信念伝播復号を用いることで、信頼性の高い通信と強い情報漏洩防止性が達成された。