基于不可信号传递约束的量子密钥分发完全安全性

我们分析了一种由足以违背贝尔不等式的关联生成分布式密钥的密码协议，并证明其针对窃听者的安全性，唯一假设是可被窃听者获取的任何信息均须与不可信号传递原理相容。该断言相对于密码学中称为通用可组合安全性的前沿安全性定义成立。不可信号传递假设仅指测量结果统计依赖于测量选择；因而安全性独立于设备的内部运作——它们甚至无需遵循量子理论定律。这对实践有意义，因为对现实设备的正确且完整的建模通常不可能。所发展技术具一般性，可应用于其他基于贝尔不等式的协议。特别地，我们提供了一种在样本非独立同分布时估计贝尔不等式违背的方案。