[论文解读] 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）上采用最大似然译码，并利用准可接受集来界定误码概率。
• 通过LDPC码评估性能，表明误码概率随块长 $ n $ 指数衰减，从而实现高码率、高安全性的密钥生成。

实验结果

研究问题

• RQ1 能否基于Slepian-Wolf编码原理，在多终端源模型中系统性地构造保密密钥？
• RQ2 Slepian-Wolf压缩速率与相关源模型中可实现保密密钥容量之间的确切关系是什么？
• RQ3 在二元对称信道条件下，LDPC码在密钥构造中的性能如何，尤其在误码概率与密钥速率方面？
• RQ4 是否能够实现私有密钥生成，使得 $ A^c $ 中的协作终端即使公开其观测值，也无法获知 $ A $ 中终端生成的密钥？
• RQ5 LDPC码在保密密钥构造中采用最大似然译码时，误码概率的渐近行为如何？

主要发现

• 保密密钥容量 $ C_S $ 恰好等于所有源分量的联合熵减去实现完全认知所必需的最小总通信速率 $ R_{\text{min}} $，符合Slepian-Wolf编码的结论。
• 私有密钥容量 $ 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 $ 的减小而单调递减，表明在信道噪声较小时性能更优。
• 沿从源终端到目标终端的路径，任意终端源序列的译码误码概率以 $ d \cdot 2^{-n\eta} $ 的形式指数衰减（$ \eta > 0 $），确保可靠重构。
• LDPC码被证明在实现接近最优的保密密钥速率且误码概率呈指数级衰减方面非常有效，验证了其在实际保密密钥生成系统中的适用性。