量子科技中心_量科网

该研究团队提出了对诱骗态BB84量子密钥分发（QKD）协议的严格完整安全性证明。此项分析旨在实现高标准的数学严谨性与完备性，从而为协议认证与标准化工作奠定必要基础。除确立特定协议安全性外，该工作开发了一个通用模块化框架，可灵活适用于包括制备-测量型和纠缠型在内的多种QKD协议。该框架整合了现实QKD协议分析所需的所有核心要素：经典认证与后处理分析、源替换方案、有限长效应分析、源映射、压缩映射及诱骗态技术。通过系统化原本分散在QKD文献中的各类技术方法，该研究建立了统一的形式化体系，为QKD安全性提供了普适而严格的解决方案。最后，该工作明确了将实际系统缺陷纳入同一框架的技术路线，为未来实现安全性分析奠定了基础。