量子科技中心_量科网

量子密钥分发（QKD）的安全性通过参数ε>0来量化——在明确定义的物理假设下，该参数可获得显式上界。这与计算安全性方案形成鲜明对比，后者的安全性声明仅具有渐近性（即在标准复杂度假设下，仅能证明当密钥长度增长时ε→0，但无法获得显式上界）。本文阐释了ε安全性的定义与内涵，通过公理化方法证明ε可理解为安全失效的最大概率。最后，该工作对文献中针对该定义的若干批评进行了梳理和回应。