量子科技中心_量科网

与传统密码学不同——经典加密信息的安全性通常依赖于标准算法无法突破计算复杂性假设——量子密钥分发（QKD）能使两个空间分离的通信方建立信息论意义上安全的加密，前提是该协议具备严格的安全性证明。过去数十年间，针对多种窃听策略的鲁棒性安全证明已确立多个QKD协议的理论可靠性。然而，大多数证明基于协议所涉物理系统的理想化模型，且常包含实际实现中无法满足的假设。这种不匹配导致理论安全保障与实际实验实现之间存在差距，使QKD协议易受攻击。为确保现实QKD系统的安全性，必须在安全分析中充分考虑各类非理想因素。本文概述了QKD安全证明领域最新的解析与数值研究进展，这些方法为纳入实际缺陷、重建现实条件下量子通信协议的安全性提供了通用框架。