[论文解读] The MAC Resolvability Region, Semantic Security and Its Operational Implications

Matthias Frey, Igor Bjelaković+1 more|arXiv (Cornell University)|Oct 6, 2017

Wireless Communication Security Techniques参考文献 32被引用 9

一句话总结

本文通过基于香农熵关于变分距离的均匀连续性的新颖反证法，建立了无记忆多址接入信道（MAC）的可解区域。它证明了在无需对消息分布做任何假设的情况下，可通过基于可解性的编码构造实现无线盗听MAC的语义安全，方法是确保所有消息对下，窃听者的输出在统计上接近目标分布。

ABSTRACT

Building upon previous work on the relation between secrecy and channel resolvability, we revisit a secrecy proof for the multiple-access channel (MAC) from the perspective of resolvability. In particular, we refine and extend the proof to obtain novel results on the second-order achievable rates. Then we characterize the resolvability region of the memoryless MAC by establishing a conceptually simple converse proof for resolvability that relies on the uniform continuity of Shannon's entropy with respect to the variational distance. We discuss the operational meaning of the information theoretic concept of semantic security from the viewpoint of Ahlswede's General Theory of Information Transfer and show interesting implications on the resilience against a large class of attacks even if no assumption can be made about the distributions of the transmitted messages. Finally we provide details on how the resolvability results can be used to construct a wiretap code that achieves semantic security.

研究动机与目标

• 通过概念上简单的反证法，表征无记忆MAC的可解区域。
• 建立信道可解性与无线盗听MAC中语义安全之间的操作性联系。
• 证明无需对消息分布做假设，即可通过利用可解性实现语义安全。
• 利用熵连续性与变分距离，推导MAC可解性的二阶可达速率。
• 构造一种通过基于可解性的码书设计实现语义安全的无线盗听码。

提出的方法

• 利用香农熵关于变分距离的均匀连续性，推导MAC可解性的反证法。
• 采用两阶段码书构造：一阶段用于消息速率，另一阶段用于可解速率，确保窃听者无法在统计上区分。
• 采用一种混合编码方案，结合携带消息的码字与携带随机性的码字，以控制窃听者输出的分布。
• 使用概率论证表明，选取不合适的码书的概率以二重指数方式衰减，从而确保高可靠性。
• 应用时分复用论证，将结果扩展至可解区域的凸包。
• 利用涉及合法用户与窃听者信道的互信息项，推导可解速率的边界，确保统计不可区分性。

实验结果

研究问题

• RQ1 无记忆MAC的精确可解区域是什么？如何通过反证法进行表征？
• RQ2 信道可解性与多址无线盗听信道中语义安全之间有何关系？
• RQ3 是否可以在不假设已知或结构化消息分布的情况下实现语义安全？
• RQ4 在变分距离下，MAC可解性的二阶可达速率是什么？
• RQ5 如何构建基于可解性的码书，以同时确保可靠通信与强保密性？

主要发现

• 无记忆MAC的可解区域通过依赖于香农熵关于变分距离的均匀连续性的反证法得以表征。
• 在无需对消息分布做假设的情况下，无线盗听MAC中的语义安全是可实现的，原因在于可解性强制了统计不可区分性。
• 推导出可解性的二阶可达速率，表明错误概率随块长以二重指数方式衰减。
• 构造了一种无线盗听码，使得窃听者输出与目标分布之间的变分距离被限制在 exp(−γ₁n) 以内，失败概率被限制在 exp(−exp(γ₂n)) 以内。
• 存在码书，其速率 L₁ 和 L₂ 满足：I(X;Ztap|V) < L₁ < I(X;Zlegit|Y,V)−R₁ 且 I(Y;Ztap|V) < L₂ < I(Y;Zlegit|X,V)−R₂，从而确保语义安全。
• 对所有消息对使用并集界，确认整体失败概率保持指数级小，验证了对所有消息对的构造有效性。