[论文解读] The Universal Composable Security of Quantum Key Distribution

Michael Ben-Or, Michał Horodecki+3 more|ArXiv.org|Sep 14, 2004

Physical Unclonable Functions (PUFs) and Hardware Security被引用 4

一句话总结

本文通过引入一种可组合安全定义，建立了量子密钥分发（QKD）的通用可组合安全框架，确保QKD生成的密钥在后续协议中仍保持安全。证明了标准QKD安全定义蕴含可组合安全，解决了长期存在的关于QKD与密钥使用过程中联合攻击的担忧，并表明在此模型下，重复运行QKD时安全性缓慢下降。

ABSTRACT

The existing unconditional security definitions of quantum key distribution (QKD) do not apply to joint attacks over QKD and the subsequent use of the resulting key. In this paper, we close this potential security gap by using a universal composability theorem for the quantum setting. We first derive a composable security definition for QKD. We then prove that the usual security definition of QKD still implies the composable security definition. Thus, a key produced in any QKD protocol that is unconditionally secure in the usual definition can indeed be safely used, a property of QKD that is hitherto unproven. We propose two other useful sufficient conditions for composability. As a simple application of our result, we show that keys generated by repeated runs of QKD degrade slowly.

研究动机与目标

• 填补QKD安全漏洞，即标准定义未考虑QKD与密钥使用过程中联合攻击的问题。
• 形式化QKD的可组合安全定义，确保密钥可安全用于任意下游协议。
• 证明现有QKD无条件安全定义蕴含新的可组合安全定义。
• 识别超出标准定义的可组合性充分条件，包括重复运行下密钥的退化特性。
• 证明当使用可组合定义时，攻击者（Eve）延迟测量不会破坏安全性。

提出的方法

• 引入适用于量子环境的通用可组合（UC）安全框架，将QKD建模为与环境和模拟器交互的协议。
• 基于真实协议与理想协议之间迹距离的安全条件定义可组合安全，确保两者在可忽略的ε范围内不可区分。
• 使用混合方法，通过构造中间态（ρ_qi1, ρ_qi2）并分析其保真度，界定了真实QKD协议与理想功能之间的迹距离。
• 通过最终态对贝尔态的保真度应用基于保真度的安全准则，表明高保真度意味着安全性。
• 利用若Eve的量子态的Holevo信息与可访问信息可忽略，则在可组合定义下密钥即为安全的事实。
• 通过证明真实协议与理想协议之间的迹距离可忽略，表明标准定义下的QKD安全性蕴含可组合安全性。

实验结果

研究问题

• RQ1 标准QKD安全定义能否保证密钥在后续协议中安全使用，即使Eve延迟测量？
• RQ2 QKD的可组合安全定义应如何设计，以涵盖QKD与密钥应用之间的联合攻击？
• RQ3 在标准意义下无条件安全的QKD协议，在新可组合定义下是否仍保持安全？
• RQ4 重复使用QKD如何影响密钥安全性，且该退化是否可在可组合性框架下量化？
• RQ5 当密钥用于量子加密时，QKD的安全性是否仍可保持，特别是在集体攻击下？

主要发现

• 标准QKD无条件安全定义蕴含新的可组合安全定义，确保密钥可安全用于任何后续协议。
• 在重复运行下，QKD生成的密钥安全性缓慢退化，安全损失由真实与理想协议之间的迹距离所界定。
• 可组合安全定义确保即使Eve将测量延迟至密钥使用之后，其信息获取量仍可忽略。
• Alice与Bob共享最终态对完美EPR态的保真度是可组合安全的充分条件，高保真度意味着Eve的信息获取可忽略。
• 在可组合定义下，对所有密钥取平均后，Eve的可访问信息量可忽略，确保密钥几乎均匀且正确共享。
• 本文确立了标准定义下QKD的安全性足以实现可组合性，解决了量子密码学中长期存在的开放问题。