将设备特征分析纳入安全证明

量子密钥分发(QKD)的典型安全性证明依赖于设备模型的建立,其安全保障隐含地取决于模型各项参数(如暗计数率、探测器效率等)的设定值。因此,在实际部署QKD时,该研究团队需要确立如何对制造商QKD设备的模型参数进行认证或表征。该工作提出了一个严谨的分析框架,明确了安全性证明与参数认证/表征程序必须满足的具体要求。在此过程中,研究人员阐明了从这类程序中可得出与不可得出结论的多种形式,纠正了若干潜在认知误区。该团队还探讨了与可组合安全性框架的关联,以及该方向上仍需解决的技术问题。

量科快讯