量子科技中心_量科网

本论文致力于运用多种现代证明技术，对实用化量子密钥分发（QKD）协议进行严格的安全性分析。主要研究成果如下：首先，该团队建立了变长QKD协议在独立同分布集体攻击下的安全性证明，并利用后选择技术将结果拓展至相干攻击场景。在此过程中，研究人员修正了后选择技术在QKD应用中长期存在的缺陷，从而为其奠定了严格的数学基础。其次，该团队提出了一种基于协议观测统计量来界定相位错误率的方法，适用于基于熵不确定性关系和相位错误率的证明方案，即使探测器存在非理想特性且仅能近似表征时仍适用。该成果消除了探测器行为必须完全一致的关键假设，使这些技术能应用于实际场景。第三，该工作提出基于边际约束熵累积定理的普适性安全分析框架，所得体系能灵活适配实际系统中的各种非理想因素和侧信道效应，适合认证实践。最后，该团队证明在现实认证假设下，仅需对协议进行微小修改，QKD协议的安全性即可归约至认证行为完全可信的标准理想化场景。 本论文的显著特点是采用统一的协议描述和符号体系，系统整合了多种主流QKD安全证明框架。因此，该研究不仅是一系列新技术成果的集合，更可作为理解量子密钥分发严格安全性分析的重要参考文献。