[论文解读] On the Eavesdropper's Correct Decision in Gaussian and Fading Wiretap Channels Using Lattice Codes

Anne-Maria Ernvall-Hytönen, Camilla Hollanti|arXiv (Cornell University)|Jun 14, 2011

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

一句话总结

本文证明了Belfiore-Solé猜想，即偶单模极值格的保密函数在y=1处达到峰值，确认其在高斯窃听信道中具有最优保密性能。在衰落信道中，揭示了性能-保密性-复杂性之间的权衡：放宽合法用户性能要求可提升窃听者混淆度，其中非正交格在增加安全性的前提下带来了更高的复杂度。

ABSTRACT

In this paper, the probability of Eve the Eavesdropper's correct decision is considered both in the Gaussian and Rayleigh fading wiretap channels when using lattice codes for the transmission. First, it is proved that the secrecy function determining Eve's performance attains its maximum at y=1 on all known extremal even unimodular lattices. This is a special case of a conjecture by Belfiore and Solé. Further, a very simple method to verify or disprove the conjecture on any given unimodular lattice is given. Second, preliminary analysis on the behavior of Eve's probability of correct decision in the fast fading wiretap channel is provided. More specifically, we compute the truncated inverse norm power sum factors in Eve's probability expression. The analysis reveals a performance-secrecy-complexity tradeoff: relaxing on the legitimate user's performance can significantly increase the security of transmission. The confusion experienced by the eavesdropper may be further increased by using skewed lattices, but at the cost of increased complexity.

研究动机与目标

• 验证已知的偶单模极值格的Belfiore-Solé猜想，即保密函数在y=1处达到最大值。
• 提出一种通用方法，用于验证或证伪任意单模格上的Belfiore-Solé猜想。
• 分析在瑞利衰落窃听信道中使用格编码时，Eve正确判决的概率。
• 评估在衰落环境中，合法用户性能、窃听者混淆度与编码复杂度之间的权衡。
• 比较正交格与非正交格在能量分配与功率约束下的保密性表现。

提出的方法

• 通过格的theta函数分析，证明了所有已知的偶单模极值格的保密函数ΞΛ(y) = Θℤⁿ(yi)/ΘΛ(yi)在y=1处取得最大值。
• 提出一种通用计算方法，通过在ℝ⁺上评估保密函数，以验证或证伪任意给定单模格上的猜想。
• 从代数数域K及其整数环𝒪K或理想ℐ ⊆ 𝒪K出发，构造了用于衰落窃听信道的显式格编码。
• 计算了Eve概率表达式中的截断逆范数幂和因子，以估计其正确判决概率。
• 将格归一化为单位体积，并通过比较归一化最小乘积距离，公平评估性能。
• 对来自完全实数域的4维格进行数值分析，以评估在瑞利衰落条件下的保密性能。

实验结果

研究问题

• RQ1 偶单模极值格的保密函数是否如Belfiore与Solé所猜想的那样，在y=1处达到最大值？
• RQ2 能否设计一种通用方法，用于验证或证伪任意单模格上的Belfiore-Solé猜想？
• RQ3 在瑞利衰落窃听信道中使用格编码时，Eve正确判决的概率行为如何？
• RQ4 格的形状（正交与非正交）对窃听者混淆度与系统复杂度有何影响？
• RQ5 在放宽合法用户约束条件下，衰落窃听信道中是否存在性能-保密性-复杂性之间的权衡？

主要发现

• 所有已知的偶单模极值格的保密函数均在y=1处达到最大值，证实了Belfiore-Solé猜想在这些情况下的正确性。
• 提供了一种通用方法，通过数值评估保密函数，可验证或证伪任意给定单模格上的猜想。
• 在瑞利衰落信道中，放宽合法用户性能约束可显著提升窃听者的混淆度，从而增强保密性。
• 与正交格相比，非正交格进一步提升了窃听者混淆度，但代价是更高的编码与译码复杂度。
• 在给定能量限制下，当m足够大时，非正交格的能量分布优于正交格，如表II所示。
• 逆范数幂和因子Sₘ(Pₗᵢₘ, m)随m增加而增大，在m=20时，非正交格的值可达2.407×10⁷，表明Eve的混淆程度更强。