[論文レビュー] Secret Key and Private Key Constructions for Simple Multiterminal Source Models

Chunxuan Ye, Prakash Narayan|arXiv (Cornell University)|Aug 12, 2010

Wireless Communication Security Techniques参考文献 31被引用数 3

ひとこと要約

本稿は、相関するソース観測と公開通信を活用し、Slepian-Wolf符号化原理を用いて、マルチターミナル・ソース・モデルにおける新しい秘密鍵およびプライベート鍵の構築フレームワークを提案する。秘密鍵容量が結合エントロピーから最小Slepian-Wolf圧縮レートを差し引いたものに等しいことを確立し、バイナリ対称チャネル下で誤り確率が低く、近似的に最適な鍵レートを達成するLDPC符号の有効性を示している。

ABSTRACT

We propose an approach for constructing secret and private keys based on the long-known Slepian-Wolf code, due to Wyner, for correlated sources connected by a virtual additive noise channel. Our work is motivated by results of Csiszár and Narayan which highlight innate connections between secrecy generation by multiple terminals that observe correlated source signals and Slepian-Wolf near-lossless data compression. Explicit procedures for such constructions and their substantiation are provided. The performance of low density parity check channel codes in devising a new class of secret keys is examined.

研究の動機と目的

• 複数のターミナルが観測する相関するソース信号から実用的な秘密鍵およびプライベート鍵の構築を実現すること。
• マルチターミナル・ソース・モデルにおける秘密鍵生成とSlepian-Wolf近似無損失圧縮の直接的な関連を確立すること。
• 低密度パリティーチェック（LDPC）符号が、高い信頼性と機密性を備えた秘密鍵を構築する上で実現可能でかつ効果的であることを実証すること。
• 理論的な秘密鍵容量に達する明示的かつ証明可能な安全な鍵生成手順を提供すること。

提案手法

• Slepian-Wolf符号化フレームワークを用いて、全情報の復元を目的としたターミナル間通信をモデル化し、各ターミナルが自身の観測値と公開メッセージからすべてのソース成分を再構築可能とする。
• 秘密鍵生成を達成するために必要な公開通信の下界として、Slepian-Wolf符号化における最小合計通信レート $ R_{\text{min}} $ を適用する。
• 秘密鍵容量 $ C_S = H(X_1,\ldots,X_d) - R_{\text{min}} $ を導出する。これは、結合エントロピーから最小通信レートを差し引いたものに等しく、その意味が明確になる。
• フレームワークをターミナルの部分集合 $ A $ に対するプライベート鍵生成に適応し、容量 $ C_P(A) = H(X_A|X_{A^c}) - R_{\text{min}}(A) $ を得る。これにより、$ A^c $ に属する協力ターミナルおよびスパイも鍵を知ることができない。
• バイナリ対称チャネル（BSC）上で最尤推定を用い、誤り確率を制限するための準適正集合（quasiadmissible sets）を活用する。
• 性能をLDPC符号を用いて評価し、ブロック長 $ n $ が増加するにつれて誤り確率が指数関数的に減少することを示し、高レートかつ安全な鍵生成が可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 マルチターミナル・ソース・モデルにおける秘密鍵生成は、Slepian-Wolf符号化原理を用いて体系的に構築可能か？
• RQ2 相関するソース・モデルにおけるSlepian-Wolf圧縮レートと達成可能な秘密鍵容量の正確な関係は何か？
• RQ3 バイナリ対称チャネル下で、誤り確率および鍵レートの観点から、LDPC符号は秘密鍵の構築にどの程度効果的か？
• RQ4 $ A^c $ に属するターミナルが自身の観測値を公開しても、$ A $ に属するターミナルが生成した鍵をそれらが無知の状態に保てるプライベート鍵生成は可能か？
• RQ5 秘密鍵構築に用いられるLDPC符号の最尤推定における誤り確率の漸近的挙動はいかなるものか？

主な発見

• 秘密鍵容量 $ C_S $ は、Slepian-Wolf符号化に従い、全ソース成分の結合エントロピーから、全情報の復元に必要な最小合計通信レート $ R_{\text{min}} $ を差し引いたものに正確に等しい。
• プライベート鍵容量 $ C_P(A) $ は $ H(X_A|X_{A^c}) - R_{\text{min}}(A) $ で与えられ、ここで $ R_{\text{min}}(A) $ は $ X_{A^c} $ を条件とするとき、$ A $ に属するターミナルが全情報の復元を達成するための最小レートである。
• 任意の $ \delta > 0 $ に対して、再構築されたソース系列が典型集合から逸脱する確率は、$ (n+1)^{|\mathcal{X}|} \cdot 2^{-n \delta^2 / (2\ln 2)} $ で抑えられ、高確率で典型性が保証される。
• BSCにおけるLDPC符号の最尤推定誤り確率は、誤り確率 $ p $ が小さくなるにつれて単調に減少し、ノイズの少ないチャネルでより良好な性能を示す。
• ソースからターゲットターミナルへのパスに沿って、任意のターミナルのソース系列の復元誤り確率は、ある $ \eta > 0 $ に対して $ d \cdot 2^{-n\eta} $ のように指数関数的に減少し、信頼性の高い再構築が保証される。
• LDPC符号が、指数関数的に小さな誤り確率を達成しつつ、近似的に最適な秘密鍵レートを実現できることを示しており、実用的な秘密鍵生成システムへの応用が妥当であることを裏付けている。