[论文解读] A Rigorous and Complete Proof of Finite Key Security of Quantum Key Distribution

Marco Tomamichel, Anthony Leverrier|arXiv (Cornell University)|Jun 28, 2015

Quantum Information and Cryptography参考文献 29被引用 12

一句话总结

本文为量子密钥分发（QKD）的有限密钥安全提供了严谨且自洽的证明，涵盖BBM92（纠缠态基）和BB84（制备与测量）协议。通过明确定义所有随机性来源及公开通信的传输记录，建立了完整的安全框架，为有限密钥分析在量子密码学中的研究提供了基础性参考。

ABSTRACT

The goal of this work is to provide a largely self-contained, rigorous proof of the security of quantum key distribution in the finite key regime. For our analysis we consider an entanglement-based protocol based on BBM92 as well as a prepare-and-measure protocol based on BB84. Our presentation differs from previous work in that we are careful to model all the randomness that is used throughout the protocol and take care of all the transcripts of the communication over the public channel. We hope that this work will be a good starting point for readers interested in finite key analysis of protocols in quantum cryptography.

研究动机与目标

• 为量子密钥分发在有限密钥范围内的安全提供全面且数学上严谨的证明。
• 在协议执行过程中，对所有随机性来源及所有公开通信传输记录进行建模。
• 提出一种自洽的分析，可作为未来量子密码学中有限密钥安全研究的参考基准。
• 在统一的安全框架下，对基于纠缠态（BBM92）和制备与测量（BB84）的协议进行统一处理。

提出的方法

• 分析过程对协议执行期间所作的所有随机选择进行建模，包括基矢选择、测量结果以及经典后处理步骤。
• 追踪通过公开信道传输的所有经典通信记录，确保不遗漏任何信息泄露风险。
• 采用通用可组合（UC）安全框架构建安全证明，确保对任意敌对行为具有鲁棒性。
• 作者应用量子德·菲内蒂定理与后选择技术，对有限密钥情形下的安全参数进行上界估计。
• 在集体攻击假设下分析协议，并通过后选择技术扩展至相干攻击情形。

实验结果

研究问题

• RQ1 如何使QKD的有限密钥安全证明达到完全严谨且自洽？
• RQ2 对所有随机性来源及公开通信传输记录进行建模，对安全分析有何影响？
• RQ3 在相同的有限密钥假设下，BBM92与BB84协议的安全界限如何比较？
• RQ4 能否构建一个统一框架，以处理有限密钥范围内制备与测量及基于纠缠态的QKD协议？

主要发现

• 本文在有限密钥范围内，为BBM92与BB84协议建立了完整且严谨的安全证明。
• 通过建模所有随机性来源及公开通信，分析避免了可能在实际中损害安全性的假设。
• 该证明自洽且适合作为未来有限密钥安全研究的基准参考。
• 该框架通过合理考虑有限样本中的统计波动，实现了紧致的安全界限。