[论文解读] Strong security and separated code constructions for the broadcast channels with confidential messages

Ryutaroh Matsumoto, Masahito Hayashi|arXiv (Cornell University)|Oct 5, 2010

Cellular Automata and Applications参考文献 22被引用 7

一句话总结

该论文证明，广播信道中保密消息的容量区域在强安全准则下保持不变——即要求秘密消息与窃听者观测之间的互信息渐近趋于零——与传统的弱安全准则相比。论文提出了一种编码构造方法，通过在已有广播信道劣化消息集编码基础上附加哈希函数的逆，实现保密与纠错的分离，从而在强安全条件下实现最优速率对。

ABSTRACT

We show that the capacity region of the broadcast channel with confidential messages does not change when the strong security criterion is adopted instead of the weak security criterion traditionally used. We also show a construction method of coding for the broadcast channel with confidential messages by using an arbitrary given coding for the broadcast channel with degraded message sets.

研究动机与目标

• 解决广播信道中保密消息（BCC）的开放问题：当使用强安全准则替代弱安全准则时，其容量区域是否发生变化。
• 开发一种编码构造方法，使BCC中的保密编码与纠错编码实现分离，同时保持最优性。
• 证明强安全准则（要求互信息在不按块长归一化的情况下趋于零）与已知的BCC容量区域相容。
• 提供一种计算程序，用于在附加哈希函数逆的情况下，对互信息进行上界估计，确保在渐近范围内实现强安全。

提出的方法

• 通过在劣化消息集广播信道（BCD）的随机编码论证中附加哈希函数的逆，以实现强安全。
• 利用两均匀哈希函数的隐私放大定理，降低秘密消息与窃听者输出之间的互信息。
• 应用Gallager函数 $\phi$ 来上界互信息 $I(S_n; Z^n | F_n)$，并利用 $\phi$ 的凹性进行优化。
• 通过表达式 $\frac{\mathbb{E}[|\mathcal{S}_n|^\rho \exp(\phi(\rho, P^{n}_{Z|V}, P_{e_n(B_n,E_n)}))]}{ |\mathcal{B}_n \times \mathcal{E}_n|^\rho \rho }$ 推导互信息的上界，该表达式在 $\rho$ 和 $P_1$ 上进行最小化。
• 采用二分法与凸优化相结合的方法，计算 $\phi$ 的指数函数在输入分布上的最小值，从而实现对保密性能的实际评估。
• 证明：若 $R_0 < I(U;Z)$，则当 $n \to \infty$ 时，互信息 $I(S_n; Z^n | F_n) \to 0$，从而确保强安全。

实验结果

研究问题

• RQ1 当使用强安全准则而非弱安全准则时，广播信道中保密消息的容量区域是否保持不变？
• RQ2 能否设计一种编码构造方法，使得纠错与保密编码完全分离，且在渐近速率区域内不损失最优性？
• RQ3 当在BCD编码中附加哈希函数的逆时，是否可以计算出秘密消息与窃听者观测之间互信息的上界？
• RQ4 所提出的方法是否能在保持与弱安全方案相同速率对的同时，实现强安全？

主要发现

• 广播信道中保密消息的容量区域在弱安全与强安全准则下完全相同，解决了信息论安全领域的一个开放问题。
• 当使用哈希函数逆构造编码时，秘密消息与窃听者观测之间的互信息 $I(S_n; Z^n | F_n)$ 随 $n \to \infty$ 而趋于零，满足强安全准则。
• 所提出的编码构造通过在BCD编码中附加哈希函数的逆，实现了保密与纠错的分离，使得纠错与保密组件可独立设计。
• 利用Gallager函数 $\phi$ 推导出 $I(S_n; Z^n | F_n)$ 的上界，且该上界可通过凸优化方法最小化，从而实现对保密性能的实际评估。
• 该方法确保：只要 $R_0$ 足够小且满足 $R_0 < I(U;Z)$，则任意满足 $R_1 \leq R_0 + R'_1 - \max_{P_V} I(V;Z)$ 的速率对 $(R_0, R_1)$ 在强安全下均可实现。
• 当每信道使用中输入信号从固定有限集合中选取时，该结果可推广至高斯信道，仅需对分析做少量修改。