[论文解读] A Proof of the Security of Quantum Key Distribution

Eli Biham, Michel Boyer+3 more|ArXiv.org|Dec 11, 1999

Quantum Information and Cryptography参考文献 25被引用 63

一句话总结

本文针对量子力学允许的任何攻击（包括无限计算能力与量子技术的攻击）提供了BB84量子密钥分发协议安全性的一个严格证明。通过利用量子信息理论、对窃听者态的纯化、可访问信息的迹范数界，以及随机线性码与隐私放大技术，该研究实现了在高达7.56%误码率下的渐近安全性，确保了即使面对最强大的对手，也能实现信息论安全性。

ABSTRACT

We prove the security of quantum key distribution against the most general attacks which can be performed on the channel, by an eavesdropper who has unlimited computation abilities, and the full power allowed by the rules of classical and quantum physics. A key created that way can then be used to transmit secure messages in a way that their security is also unaffected in the future.

研究动机与目标

• 建立BB84量子密钥分发协议在量子力学允许的任何攻击下的信息论安全性。
• 证明对具有无限计算能力、量子存储和对量子信道完全访问权限的窃听者也具备安全性。
• 提供一种简化且严格的证明，避免复杂优化，通过使用纯化、迹范数差异和基于对称性的约化方法。
• 推导出窃听者可访问信息的显式边界，以误码率作为变量。
• 证明即使在误码率高达7.56%的情况下，渐近安全性依然成立，利用随机线性码与隐私放大技术。

提出的方法

• 使用纯化态表示法简化窃听者的密度矩阵，将攻击空间简化为纯态系统。
• 应用迹范数差异的界，对窃听者的可访问信息进行上界估计，而无需对所有可能测量进行优化。
• 在窃听者的可访问信息与她在量子信道中引入的误码率之间建立直接联系。
• 将完整的BB84协议简化为“已用比特BB84”方案，其中所有量子比特均用于密钥筛选，从而简化分析过程，同时保持安全性。
• 采用随机线性码（RLCs）进行纠错与隐私放大，给出代码失效与最小距离的概率界。
• 利用对称性与概率分析，证明代码失效与窃听者成功的概率随块长n呈指数级减小。

实验结果

研究问题

• RQ1 BB84协议能否在所有量子攻击下被严格证明安全性，包括具有无限量子资源的攻击？
• RQ2 在最一般攻击下，BB84协议在量子信道中可容忍的最大误码率是多少？
• RQ3 如何在不依赖测量策略复杂优化的前提下，对窃听者的可访问信息进行边界限制？
• RQ4 能否在保持严谨性与普适性的同时，使安全证明更简化且更透明？
• RQ5 随机线性码与隐私放大在确保面对窃听时的可靠性与机密性方面发挥什么作用？

主要发现

• BB84协议对所有由量子力学允许的攻击（包括无限计算能力与量子存储）均具有渐近安全性。
• 可容忍的最大误码率为7.56%，该值由最优窃听下密钥率仍为正的条件推导得出。
• 纠错或隐私放大失败的概率随块长n呈指数级减小，确保了高可靠性。
• 窃听者的可访问信息被一个随n指数衰减的项所限制，从而保证了信息论安全性。
• 使用随机线性码可确保其对偶码的最小距离足够大，且该事件以高概率成立，满足安全条件 d⊥ ≥ 2n(pa + εsec)。
• 安全阈值由不等式 1 − H₂(2pa) − H₂(pa) > R_secret 决定，其中 R_secret 为密钥率，且当 pa < 7.56% 时，该条件在渐近意义上成立。