[论文解读] Composing Quantum Protocols in a Classical Environment

Serge Fehr, Christian Schaffner|ArXiv.org|Apr 7, 2008

Quantum Information and Cryptography参考文献 14被引用 4

一句话总结

本文提出了一种针对在经典双方协议中实现的量子协议的简单、基于信息论的安全定义，确保这些协议可作为子程序在经典协议中安全组合。关键贡献是一个组合定理，表明若量子协议满足该定义，则在任何经典外部协议中，用这些量子实现替换理想功能可保持安全性。

ABSTRACT

We propose a general security definition for cryptographic quantum protocols that implement classical non-reactive two-party tasks. The definition is expressed in terms of simple quantum-information-theoretic conditions which must be satisfied by the protocol to be secure. The conditions are uniquely determined by the ideal functionality F defining the cryptographic task to be implemented. We then show the following composition result. If quantum protocols pi_1,...,pi_k securely implement ideal functionalities F_1,...,F_k according to our security definition, then any purely classical two-party protocol, which makes sequential calls to F_1,...,F_k, is equally secure as the protocol obtained by replacing the calls to F_1,...,F_k with the respective quantum protocols pi_1,...,pi_k. Hence, our approach yields the minimal security requirements which are strong enough for the typical use of quantum protocols as subroutines within larger classical schemes. Finally, we show that recently proposed quantum protocols for oblivious transfer and secure identification in the bounded-quantum-storage model satisfy our security definition, and thus compose in the above sense.

研究动机与目标

• 为密码学应用中量子协议缺乏标准化、实用的安全定义提供解决方案。
• 定义最小安全条件，以确保量子协议可作为子程序在经典协议中被安全地组合使用。
• 提供一个框架，在强组合保证与可实现、高效的安全部要求之间取得平衡。
• 证明在有界量子存储模型中已有的量子协议满足所提出的定义。
• 为在信息论意义上的经典构造（如基于不经意传输的构造）中使用量子子程序奠定基础。

提出的方法

• 通过协议输出态的简单量子信息论条件定义安全性，无需依赖模拟器或环境模型。
• 将安全条件表达为敌手视图与诚实方输入之间的近似独立性，通过迹距离进行量化。
• 将安全性形式化为真实协议的输出分布与理想功能的输出在迹距离界限内不可区分。
• 使用迹距离和量子态近似来量化安全性，其中误差参数（例如 ε）界定与理想行为的偏离程度。
• 将该定义应用于具体协议，如有界量子存储模型中的 1-out-of-2 不经意传输和安全身份认证协议。
• 证明一个组合定理：若理想功能被满足该定义的量子协议所替换，则在任何经典外部协议中安全性均得以保持。

实验结果

研究问题

• RQ1 哪些最小安全条件足以确保量子协议可被安全地用作更大经典协议中的子程序？
• RQ2 如何在不依赖复杂模型（如通用组合或基于模拟器的框架）的前提下，为量子协议定义安全定义？
• RQ3 能否证明在有界量子存储模型中已有的不经意传输和身份认证协议在该新定义下是安全的？
• RQ4 所提出的定义是否能保证当量子子程序被嵌入经典协议时具备组合性？
• RQ5 在量子协议设计中，安全性强度与可实现性之间的权衡是什么，能否将其形式化？

主要发现

• 所提出的安全部定义仅基于真实与理想协议输出之间的迹距离条件，因此简洁且具有信息论特性。
• 该定义确保：任何通过顺序调用理想功能构建的经典协议，在将这些功能替换为满足该定义的量子协议后，其安全性保持不变。
• 在有界量子存储模型中，1-out-of-2 不经意传输协议以 4ε 的安全损失满足该安全定义，证明了其可组合性。
• 通过证明敌手视图与诚实方输入在迹距离界限内近似独立，实现了对双方（Alice 和 Bob）的安全性保障。
• 组合定理在外部协议为经典协议的限制下成立，这反映了当前技术限制，并使得安全条件更为宽松、更具实用性。
• 该证明技术通过使用态近似和迹距离不等式，避免了对恶意参与方输入分布的依赖，从而确保了在不同场景下的鲁棒性。