QKD; BB84; B92; Unconditional security; Automatic verification; Formal methods;
机译:具有双向量子通道的确定性量子密钥分配的无条件安全证明
机译:离散调制的长距离连续变量量子密钥分配的无条件安全证明
机译:高效的量子密钥分配方案及其无条件安全性的证明
机译:量子密钥分发的无条件安全证明的形式化方法
机译:量子密钥分布安全证明的物理支撑
机译:作者更正:具有可组合安全性的双域量子密钥分配的有限密钥分析
机译:具有双向量子信道的确定性量子密钥分配的无条件安全证明