
http://www.paper.edu.cn
- 1 -
基于多离散对数问题的公钥密码的分析
#
苏盛辉,孙国栋
*
基金项目:国家 863 计划(编号 2009AA01Z441)
作者简介:苏盛辉,男,教授,REESSE1+/JUNA 非对称密码/身份体制首席发明人,主要研究方向:计算
复杂性、非对称身份、密码算法和网络安全. E-mail: reesse@126.com
(北京工业大学计算机学院, 北京 100124)
5
摘要:本文对相关生成元系中元素的阶数的选取做了讨论,对多离散对数问题和基于它的公
钥加密方案做了分析。指出在一般情况下,多离散对数问题可转化为离散对数问题,因而,
该问题存在亚指数时间解,并导致有关私钥在大多数情况下是不安全的。本文进一步指出,
在几乎任何情况下,密文还原问题都可转化为离散对数问题,因而,它也存在亚指数时间解。
所以,要把离散对数问题和 ElGamal 公钥密码改造成抗 Shor 量子算法攻击的,还需做更深10
入的、持久的探索。
关键词:多离散对数问题;公钥密码;安全性;量子算法;亚指数时间解
中图分类号:TP309
Cryptoanalysis of a Public Key Cryptograph Based on 15
Multi-discrete Logarithm Problems
SU Shenghui, SUN Guodong
(College of Computers, Beijing University of Technology, Beijing 100124)
Abstract: The paper discusses the selection of orders of elements in a related generator set, and
analyzes a multi-discrete logarithm problem(MDLP) and a public key encryption scheme based on 20
the MDLP. The paper point out that under general circumstances, the MDLP may be transformed
into a discrete logarithm problem, which manifests that there exists a sub-exponential time
solution for the MDLP, and causes a related private key insecure in most cases. Further, in almost
any case, a ciphertext inversion problem may be transformed into a discrete logorithm problem,
which illustrates that there also exists a sub-exponential time solution to the ciphertext. Therefore, 25
to convert a discrete logarithm and the ElGamal cryptosystem into those which are resistant to the
Shor quantum algorithm attack, people still need to make deeper and longer explorations.
Key words: Multi-discrete logarithm problem; Public key cryptograph; Security; Quantum
algorithm; Sub-exponential time solution
30
0 引言
两个著名的量子算法,尤其 Shor 量子算法,对现有公钥密码构成了极大威胁
[1][2]
。一旦
大型量子计算机被生产出来,那么,在有隐含子群的离散对数问题 (Discrete Logarithm
Problem, DLP)和因式分解问题(Integer Factorization Problem, IFP)的基础上构建的公钥密码
体制,例如,ElGamal 和 RSA 等
[3][4]
,都将陷入被破译的困境。因此,如何设计抗量子计算35
的公钥密码是当前业界学者面临的一项紧迫任务。
2011 年中国学者在国际上提出了一个全新的公钥密码体制
[5]
,它基于三个新的计算问
题:多变量排列问题(Multivariate Permutation Problem, MPP)、非范子集积问题(Anomalous
Subset Product Problem, ASPP)和超越对数问题(Transcendental Logarithm Problem, TLP)。该 三
个问题的计算复杂度被分别证明是至少等价于离散对数问题的,且存在一些证据使人们倾向40
于相信 MPP、ASPP、TLP 是比离散对数问题更困难的
[6]
。目前,该三个问题不存在亚指数
时间解
[7]
,因而极有可能是抗量子计算攻击的。
近来,我国学者提出了一个基于多离散对数问题(Multi-discrete Logarithm Problem,