[论文解读] Secrecy Is Cheap if the Adversary Must Reconstruct

Curt Schieler, Paul Cuff|arXiv (Cornell University)|May 17, 2012

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

一句话总结

本文证明，在香农密码系统中，即使是一个极小的密钥——其大小随分组长度以任意缓慢的速度增长——也能在窃听者对源序列的重构中引发最大畸变。关键洞见在于，当攻击者必须重构源序列时，只要密钥空间无界（包括固定大小的密钥），即可实现无条件的最大畸变，从而挑战了传统上认为密钥空间需呈指数增长的必要性。

ABSTRACT

A secret key can be used to conceal information from an eavesdropper during communication, as in Shannon's cipher system. Most theoretical guarantees of secrecy require the secret key space to grow exponentially with the length of communication. Here we show that when an eavesdropper attempts to reconstruct an information sequence, as posed in the literature by Yamamoto, very little secret key is required to effect unconditionally maximal distortion; specifically, we only need the secret key space to increase unboundedly, growing arbitrarily slowly with the blocklength. As a corollary, even with a secret key of constant size we can still cause the adversary arbitrarily close to maximal distortion, regardless of the length of the information sequence.

研究动机与目标

• 研究当攻击者尝试重构源序列时，极小的密钥资源是否仍能实现强保密性保证。
• 放宽安全通信系统中密钥空间需呈指数增长的标准要求。
• 分析密钥大小与攻击者在源序列重构中可达到的最小畸变之间的权衡。
• 建立即使固定大小的密钥也能使攻击者的畸变无限接近最大可能值，且与分组长度无关。

提出的方法

• 作者将系统建模为具有共享密钥的香农密码系统，其中爱丽丝与鲍勃使用密钥对消息进行编码，而夏娃则试图根据消息和已知系统参数重构源序列。
• 通过最小-最大畸变定义保密性：即给定消息和源分布时，攻击者可能达到的最佳畸变。
• 采用随机分箱方案，其中根据典型类型将源序列划分为若干箱子，并使用密钥选择箱子索引。
• 利用典型序列和大数定律分析，表明以高概率，箱子内的典型序列与真实源分布统计上接近。
• 通过三角不等式和典型性论证，对所有可能重构的期望畸变进行下界估计，表明其趋近于可能的最小畸变。
• 证明利用变分距离界和集中不等式，表明攻击者无法优于在源分布下猜测最可能符号所能达到的畸变。

实验结果

研究问题

• RQ1 仅使用次指数级密钥是否足以在窃听者的重构中实现最大畸变？
• RQ2 确保攻击者遭受无条件最大畸变所需的最小密钥大小是多少？
• RQ3 固定大小的密钥是否足以在攻击者的估计中引发非平凡畸变？
• RQ4 当密钥随分组长度以任意缓慢的速度增长时，攻击者的畸变行为如何变化？

主要发现

• 任何无界密钥空间，即使其增长速度慢于任意指数速率，也足以在窃听者的重构中实现最大畸变。
• 即使密钥大小为常数，也能使攻击者的畸变无限接近最大可能值，且与分组长度无关。
• 攻击者可实现的最小畸变受在源分布下猜测最可能符号时的期望畸变所限制。
• 当通信速率超过源熵时，只要密钥空间无界增长，该结果依然成立。
• 理论极限与密钥速率无关；关键在于密钥空间的无界增长，而非其指数规模。