[論文レビュー] Construction of Codes for Wiretap Channel and Secret Key Agreement from Correlated Source Outputs by Using Sparse Matrices

Jun Muramatsu, Shigeki Miyake|arXiv (Cornell University)|Mar 24, 2009

Wireless Communication Security Techniques参考文献 20被引用数 6

ひとこと要約

本稿は、スパース行列を用いたワイヤテイプチャネルコードおよび秘密鍵協議方式の構築を提案し、ランダム行列集合のハッシュ性質を活用して、最適な伝送レートおよび機密性を達成する。コード理論を証明し、スパース行列に基づくコードが、ワイヤテイプチャネルの容量および相関するソースからの秘密鍵レートを、きわめて緩い条件下でも、漸近的に容量に達することを示している。固定レートのユニバーサル性能が、あらゆるチャネルで達成可能である。

ABSTRACT

The aim of this paper is to prove coding theorems for the wiretap channel coding problem and secret key agreement problem based on the the notion of a hash property for an ensemble of functions. These theorems imply that codes using sparse matrices can achieve the optimal rate. Furthermore, fixed-rate universal coding theorems for a wiretap channel and a secret key agreement are also proved.

研究の動機と目的

• スパース行列を用いたワイヤテイプチャネルおよび秘密鍵協議のコード理論を確立すること。
• スパース行列構成が最適な機密性容量および秘密鍵レートを達成することを証明すること。
• あらゆる定常的で記憶のないチャネルにおいて、安全かつ信頼性が高い固定レートのユニバーサルコードを開発すること。
• 先行研究で用いられた線形性や除去済み集合の仮定を排除し、フレームワークを一般化すること。
• 行列集合のハッシュ性質を用いて、機密性と信頼性の分析を統合すること。

提案手法

• ハッシュ性質が、機密性および信頼性における達成可能性の十分条件として機能することを活用する。
• 最小交差エントロピー符号化、最尤復号、最小エントロピー復号を用いてコードを構築する。
• 複雑な復号操作を効率的に実現するために、先行研究からの近似手法を適用する。
• タイプの方法と典型列を用いて、誤りおよび機密性の性能を漸近的に分析する。
• 発散度（例：$D(p\|p')$）、エントロピー（例：$H(U|V)$）などの測度を用いて、信頼性およびセキュリティを定量化する。
• チャネルおよびソース統計が変化する状況下での集合の挙動を分析することで、ユニバーサルコード理論を証明する。

実験結果

リサーチクエスチョン

• RQ1 スパース行列に基づくコードは、ワイヤテイプチャネルモデルで最適な機密性レートを達成できるか？
• RQ2 同じ構成により、相関するソース出力からの最適な秘密鍵レートを達成できるか？
• RQ3 提案された方式は、すべての定常的で記憶のないチャネルにおいて固定レートのユニバーサル性を達成するか？
• RQ4 解析を線形関数に制限せず、線形性や除去済み集合の仮定なしに拡張可能か？
• RQ5 ハッシュ性質は、コード構築における信頼性およびセキュリティの両方を保証するために果たす役割は何か？

主な発見

• スパース行列集合はハッシュ性質を有しており、最適なワイヤテイプチャネル容量を達成するコードの構築を可能にする。
• 提案されたコードは、相関するソース出力からの秘密鍵レートを達成しており、理論的上限に一致する。
• 固定レートのユニバーサルコードが構築され、与えられたレート制約下で、あらゆる定常的で記憶のないチャネルにおいて、同時に信頼性と安全性を満たす。
• 関数の線形性や集合の除去の仮定は必要なく、先行研究の結果を一般化する。
• コード理論の条件の下で、ブロック長 $n \to \infty$ のとき、誤り確率および盗聴者の情報漏洩れの両方がゼロに収束する。
• 最小交差エントロピー符号化および最小エントロピー復号の使用により、信頼性と機密性の最適なトレードオフが保証される。