[论文解读] Unconditional security in Quantum Cryptography

Dominic Mayers|ArXiv.org|Feb 10, 1998

Quantum Information and Cryptography参考文献 16被引用 35

一句话总结

本文在存在噪声信道和非理想探测器的现实条件下，为BB84量子密钥分发协议提供了无条件安全性的严格证明。通过POVM形式化方法，证明只要发送方的状态制备完美且接收方的测量基选择与量子态无关，即使面对任意量子攻击，安全性依然得以维持。

ABSTRACT

Basic techniques to prove the unconditional security of quantum cryptography are described. They are applied to a quantum key distribution protocol proposed by Bennett and Brassard in 1984. The proof considers a practical variation on the protocol in which the channel is noisy and photons may be lost during the transmission. The initial coding into the channel must be perfect (i.e., exactly as described in the protocol). No restriction is imposed on the detector used at the receiving side of the channel, except that whether or not the received system is detected must be independent of the basis used to measure this system.

研究动机与目标

• 建立一个用于证明量子密码学中无条件安全性的正式框架。
• 解决在存在噪声信道和非理想探测器的实际场景中量子密钥分发的安全性问题。
• 消除对测量设备理想化假设的依赖。
• 提供一种适用于BB84以外的量子密码学协议的通用证明技术。
• 确保对所有可能的量子攻击（包括利用探测器漏洞的攻击）的安全性。

提出的方法

• 采用正算子值测度（POVM）形式化方法，对接收方侧的任意量子测量进行建模。
• 将量子信道建模为具有噪声和损耗的信道，以反映真实世界中的传输缺陷。
• 假设发送方实现完美状态制备，确保初始编码与协议规范完全一致。
• 施加检测结果必须与所用测量基无关的条件。
• 采用归约法证明，任何成功的窃听攻击都将导致量子力学中的矛盾。
• 应用不可克隆定理和量子测量原理，对攻击者可能获取的信息量进行限制。

实验结果

研究问题

• RQ1 BB84协议是否能在设备不完美和信道存在噪声的情况下，对所有量子攻击保持安全？
• RQ2 需要何种数学框架才能严格证明量子密钥分发中的无条件安全性？
• RQ3 如何在安全证明中排除探测器侧信道攻击的可能性？
• RQ4 为确保不依赖理想化设备模型的安全性，需要哪些假设？
• RQ5 该安全证明能否扩展至存在损耗和噪声信道的实际实现？

主要发现

• 即使在量子信道存在噪声且光子传输过程中发生损耗的情况下，BB84协议仍具有无条件安全性。
• 在假设发送方状态制备完美且接收方检测过程与测量基无关的前提下，安全性得以维持。
• 证明表明，任何窃听策略若不引入可检测的扰动，则无法获取信息。
• 使用POVM使得对测量设备（包括存在缺陷的设备）的处理具有普遍性。
• 安全界限的推导未假设攻击者攻击策略的任何特定属性。
• 由于采用了POVM形式化方法和不可克隆定理，该结果对所有可能的量子攻击（包括相干攻击和集体攻击）均成立。