[论文解读] Security Notions for Quantum Public-Key Cryptography

Takeshi Koshiba|ArXiv.org|Feb 19, 2007

Cryptography and Data Security参考文献 21被引用 12

一句话总结

本文通过将经典的保密性概念——不可区分性、语义安全性和非篡改性——适配到量子环境，为量子公钥密码系统建立了基础安全概念。证明了在选择明文攻击下，不可区分性与语义q-安全性等价，并表明在选择密文攻击下，不可区分性蕴含非篡改性，从而在最坏情况困难性假设下验证了KKNY05量子密码系统的安全性。

ABSTRACT

It is well known that Shor's quantum algorithm for integer factorization can break down the RSA public-key cryptosystem, which is widely used in many cryptographic applications. Thus, public-key cryptosystems in the quantum computational setting are longed for cryptology. In order to define the security notions of public-key cryptosystems, we have to model the power of the sender, receiver, adversary and channel. While we may consider a setting where quantum computers are available only to adversaries, we generally discuss what are the right security notions for (quantum) public-key cryptosystems in the quantum computational setting. Moreover, we consider the security of quantum public-key cryptosystems known so far.

研究动机与目标

• 在量子敌手和量子信道的背景下，为量子公钥密码系统定义适当的安全部概念。
• 将经典的保密性概念——不可区分性、语义安全性与非篡改性——转化为量子计算模型。
• 研究量子特有特性（如不可克隆定理和量子信息泄露）对安全定义的影响。
• 在量子环境下建立安全概念之间的正式等价关系，特别是针对选择明文攻击和选择密文攻击。
• 利用所提出的量子安全定义，验证现有量子公钥方案（如KKNY05系统）的安全性。

提出的方法

• 通过使用带有量子建议的量子电路，定义不同消息下密文分布之间的统计距离，提出不可区分性的量子类比。
• 提出两种语义安全性的定义：一种基于经典泄露（语义c-安全性），另一种基于量子泄露（语义q-安全性），两者均在选择明文攻击下定义。
• 通过将攻击者电路的输出与该电路经变换T处理后的输出进行比较，定义量子公钥密码系统的非篡改性，确保修改后的密文不会产生相关联的明文。
• 在敌手模型中使用量子建议，以捕捉量子计算的全部能力，从而支持安全概念之间等价性的证明。
• 将定义应用于KKNY05量子公钥密码系统，证明其不可区分性在最坏情况困难性假设下蕴含语义q-安全性。
• 采用基于电路的分析和统计距离论证，证明安全概念之间的等价性，依赖于对不同消息对应量子态的可区分能力。

实验结果

研究问题

• RQ1 当敌手和信道均为量子时，量子公钥密码系统的适当安全概念是什么？
• RQ2 在量子环境下，经典安全概念（如不可区分性和语义安全性）应如何重新定义，特别是关于信息泄露方面？
• RQ3 在选择明文攻击下，不可区分性的量子类比与语义安全性的量子类比是否等价？
• RQ4 是否能形式化定义量子公钥模型中的非篡改性？其是否与选择密文攻击下的不可区分性等价？
• RQ5 KKNY05量子公钥密码系统在最坏情况计算困难性假设下是否满足语义q-安全性？

主要发现

• 本文证明，在选择明文攻击下，量子公钥密码系统的不可区分性与语义q-安全性等价。
• 证明了在选择密文攻击下，不可区分性蕴含非篡改性，反之亦然，从而在量子环境下确立了二者等价。
• 引入语义c-安全性作为中间概念，并通过证明结构展示了其与不可区分性及语义q-安全性的等价性。
• 证明了在所有多项式大小的量子电路（带量子建议）下，图自同构问题为难的假设下，KKNY05量子公钥密码系统是语义q-安全的。
• 结果基于敌手模型中的量子建议假设成立；若仅考虑无建议的多项式大小量子电路，则这些等价性可能不成立。
• 分析表明，量子信息泄露与不可克隆定理要求重新思考经典安全定义，从而推动了量子特异性形式化定义的发展。