[論文レビュー] Key Capacity for Product Sources with Application to Stationary Gaussian Processes

Jingbo Liu, Paul Cuff+1 more|arXiv (Cornell University)|Sep 20, 2014

Wireless Communication Security Techniques参考文献 29被引用数 4

ひとこと要約

本稿は、製品源に対して、制限された一方通行通信における秘密鍵協定において、レートスプリッティングが最適であることを確立し、離散メモリレスなベクトルガウス源における通信レート–鍵レートのトレードオフに対して明示的なウォーター・フィリング解を導出する。テンソル化と修正された強化チャネル技術を用いて、通信ビットあたりの最大秘密鍵の閉形式表現を導出しており、先行研究における鍵容量および強力データ処理不等式の一般化を含む。

ABSTRACT

We show that for product sources, rate splitting is optimal for secret key agreement using limited one-way communication between two terminals. This yields an alternative information-theoretic-converse-style proof of the tensorization property of a strong data processing inequality originally studied by Erkip and Cover and amended recently by Anantharam et al. We derive a water-filling solution of the communication-rate--key-rate tradeoff for a wide class of discrete memoryless vector Gaussian sources which subsumes the case without an eavesdropper. Moreover, we derive an explicit formula for the maximum secret key per bit of communication for all discrete memoryless vector Gaussian sources using a tensorization property and a variation on the enhanced channel technique of Weingarten et al. Finally, a one-shot information spectrum achievability bound for key generation is proved from which we characterize the communication-rate--key-rate tradeoff for stationary Gaussian processes.

研究の動機と目的

• 制限された一方通行通信下での製品源における最適な秘密鍵レートを特定すること。
• ベクトルガウス源における通信ビットあたりの最大秘密鍵の明示的公式を導出すること。
• 鍵容量と強力データ処理不等式のテンソル化性との間の関係を確立すること。
• Weingartenらの強化チャネル技術を、盗聴者が存在する秘密鍵生成に応用可能な形に一般化すること。
• 1ショット情報スペクトル境界を用いて、定常ガウス過程における通信レート–鍵レートのトレードオフを特徴付けること。

提案手法

• 製品源にレートスプリッティングを適用し、情報理論的逆説的アプローチにより最適性を証明する。
• 鍵通信関数のテンソル化性を用いて、問題を独立したスカラー成分に分解する。
• 鍵レートを通信ビットあたりに上限付けるために、強化チャネル技術の変種を導入する。
• 任意の相関構造を持つベクトルガウス源における通信レート–鍵レートトレードオフに対してウォーター・フィリング解を導出する。
• 定常ガウス過程における鍵生成を特徴付けるために、1ショット情報スペクトル境界を適用する。
• トーペリッツ行列と巡回行列の漸近的等価性を用いて固有値分布を分析し、主結果を支持する。

実験結果

リサーチクエスチョン

• RQ1 製品源に対して、制限された一方通行通信で達成可能な最適な鍵レートは何か？
• RQ2 離散メモリレスなベクトルガウス源における鍵通信トレードオフは、どのように明示的に特徴付けられるか？
• RQ3 ベクトルガウス源において、通信ビットあたりの最大秘密鍵は閉形式で計算可能か？
• RQ4 鍵容量と強力データ処理不等式のテンソル化との関係は何か？
• RQ5 1ショット情報スペクトルアプローチは、定常ガウス過程における鍵生成の特徴付けをどのように可能にするか？

主な発見

• 製品源では、鍵容量が個々の鍵通信関数の和に等しくなることから、レートスプリッティングが最適であることが証明される。
• 離散メモリレスなベクトルガウス源における通信レート–鍵レートトレードオフに対して、明示的なウォーター・フィリング解が導出された。
• すべてのベクトルガウス源に対して、$\eta_{\mathbf{Z}}(\mathbf{X};\mathbf{Y})$ で表される通信ビットあたりの最大秘密鍵が明示的に計算可能である。
• 鍵通信関数のテンソル化性により、スカラー成分に分解可能であり、閉形式解の導出が可能になる。
• 1ショット情報スペクトル達成境界が確立され、定常ガウス過程における鍵レート–通信レートトレードオフの特徴付けが可能になった。
• トーペリッツ行列と巡回行列の漸近的等価性が、解析に不可欠な固有値分布の極限を導出するのを支援した。