CN102013983A - 一种基于强rsa假设的数字签名方法 - Google Patents

Abstract

本发明公开了一种基于强RSA假设的数字签名方法，包括如下步骤：1)签名服务器根据安全参数k和指数长度l，和消息长度l_m以及参数的长度l_e，满足l_e＞l_m，生成基于强RSA假设的公钥PK和私钥SK；2)针对需要传输的消息m，利用私钥生成签名(υ，e，s)，其中υ＝b^γmodn，λ＝γ×e-β，

为随机元素，n为RSA模数，γ∈_R[0，2^l)和β∈_R[0，2^l)为选取的随机数，e为随机质数长度为l_e；

s＝λ-α×m，α∈_R[0，2^l)为选取的随机数；3)将与消息m对应的签名(υ，e，s)发送给接收服务器；4)接收服务器验证签名(υ，e，s)，利用上述公钥判定所述签名是否有效。

Description

一种基于强RSA假设的数字签名方法

技术领域

本发明主要涉及信息安全的数字签名方法，尤其涉及一种高效的基于强RSA假设的数字签名方法。

背景技术

随着网络技术的不断发展，网络信息的交互越来越频繁，仅仅加密信息已经远远不能满足需求，数字签名的应用已经越来越广泛。

数字签名是现代密码学中的基础原语。签名方案中，签署者生成包括签署密钥和验证密钥的密钥对。签署密钥由签署者秘密保存，验证密钥对潜在的验证者公开。对于一个消息，签署者使用签名函数和签署密钥生成一个串，该串称为该消息的签名。之后验证者能使用验证函数和验证密钥检验该签名的合法性。

数字签名的安全性分析中一个常用的方法是随机应答器模型(Random Oracle Model)，在该模型中建立一个能被所有主体访问的随机应答器。因为随机应答器是为在数学上分析方便而引入的一种理想的概念，现实中该算法往往由密码学中的哈希函数代替。随机应答器模型下，可以设计出高效的密码学方案。例如最优非对称加密填充(OAEP)的RSA方案，RSA方案在这种模式下加密已经被证明在随机应答器模型下是安全的。然而，Canetti等人提出存在随机应答器模型下被证明是安全的方案，但是该随机应答器的任何实例都会导致不安全的构造。他们的工作表明随机应答器模型在根本上是存在一些问题的。

另外一种模型称为标准模型(standard model)，该模型中模拟所有主体的行为都和现实协议中的行为是一样的或者是不可区分的。安全证明中不再需要其他的假设。由于随机应答器是启发式的方法，所以密码学中趋向于设计在标准模型下安全的方案。

第一个签名方案是RSA方案，RSA方案组合上填充方式被证明在随机应答器模型下是安全的，该方案基于的假设是RSA假设。2000年，Cramer和Shoup提出在标准模型下安全的签名方案，但是该方案是基于一个更强的假设——强RSA假设。之后许多基于强RSA假设的方案越来越多，如Camenish-Lysyanskaya方案，Zhu方案，Yu-Tate方案等等。这些方案的主要优势在于他们都有在标准模型下的安全性证明，主要的劣势在于与RSA方案相比，他们需要付出更多的计算代价。例如Camenish-Lysyanskaya方案的计算代价大约是RSA方案的三倍。

下面是现有签名方法的具体分析：

1)相关概念及定义

安全的RSA模RSA模n＝pq，如果p＝2p′+1并且q＝2q′+1，其中p′，q′为质数，则称模n是安全的。

强RSA假设：假设n为RSA模，对于一个随机元素

对于任意的多项式概率算法，找到一对(v，e)，使得e＞1并且v^e＝umodn的概率是可忽略的。

安全的签名方案：一个签名方案S＝<Gen，Sig，Ver>，Gen表示密钥生成算法，用于生成验证公钥和签名私钥；Sig表示签名算法，用于生成某个消息的签名；Ver表示验证算法，用于验证得到的签名是否合法。如果伪造者在知道多项式个由他自己选择的消息对应的签名后，仍然不能伪造一个新的消息对应的签名。称这个签名方案在自适应选择消息攻击下是存在性不可伪造的。

2)Camenish-Lysyanskaya方法及其分析改进

Camenish-Lysyanskaya方法(简写为CL方法)的具体内容如下。

密钥生成输入1^k，选取安全的RSA模n＝pq，其中p＝2p′+1，q＝2q′+1，且p，q的长度为l_n＝2k。随机选取a，b，c∈QR_n。输出公钥PK＝(n，a，b，c)，私钥SK＝(p′，q′)。

生成签名输入信息

随机选取长度为l_e≥l_m+2的质数e，选取随机数s，其长度为l_s＝l_n+l_m+l，其中l是安全参数。计算

将(e，s，υ)作为消息m的签名。

进行验证要验证(e，s，υ)是否为消息m的签名，检查υ^e≡a^mb^scmodn，以及

若成立则输出1，表示该签名是合法的，否则，输出0。

CL方案已经证明在标准模型下是存在性不可伪造的。

考虑到签名(e，s，υ)中的第二项s的长度带来的计算代价，本发明从降低s的长度上减少计算代价。注意到，一个合法的CL签名满足υ^e≡a^mb^scmodn，因为s＞e，由带余除法，则s总能表示为s＝k′e+s′，其中k′为整数，s′＜e。因此得到υ^e≡a^mb^sc≡a^mb^k′e+s′c≡a^mb^k′eb^s′cmodn，最后得到υ^eb^-k′e≡υ′^e≡a^mb^s′cmodn，其中s′＜e且υ′＝υb^-k′modn。这个变换表明，从一个合法的CL签名中，总能得到一个s′长度更短的新的合法签名。由此得到CL方案的一个变体，其中s′＜e容易计算得到，这个方法的安全性与原方案的安全性是等价的。由此得到如下引理。

引理1CL方案中，随机数s的长度要求并不影响整个方案的安全性，因此可以通过修改s的长度提高计算效率。

3)Yu-Tate方案的分析

2008年，Yu和Tate提出一个在线/离线的签名方案，这里简写为YT方案。他们的方案与CL方案的结构相同，且拥有相同的验证算法。YT方案与CL方案的不同点在于，在YT方案中，首先计算υ＝b^γmodn，之后s由a，b，c指数之间的关系计算出来。YT方案中a＝b^αmodn，c＝b^βmodn，因此，γ×e≡α×m+s+βmod p′q′。s可以从这个等式中计算得到。

YT方案可以分为在线和离线两个部分，在需要签名的消息到达之前，可以离线生成υ和e。当消息到达时，在线生成s，然后输出相应的签名。这种在线/离线方式可以大大的提高签名服务器的处理能力。

总的来看，设计数字签名方法既要考虑安全证明又要考虑计算代价。在基于强RSA假设的这一类数字签名方案中，既要有在标准模型下的安全性证明，又要尽量降低计算代价。

发明内容

针对上述分析，本发明的主要目的是提出一个高效的基于强RSA假设的数字签名方法，该方法不仅在标准模型下有安全性证明，并且其计算代价比现在已有签名方法都要低，甚至比基于RSA的方法低，加快了运算速度，减少了运算时间，提高了签名服务器的处理效率和能力。

本发明考虑通过降低υ的计算代价来减少整体方案的计算代价。在YT方案中，所有的操作都是在群QR_n中进行的。特别地，计算υ时，γ选取为长度1022比特的整数作为典型的设置。本发明通过离散对数问题将该指数的长度减少为160比特，从而大大的减少了签名时的计算代价。许多研究者已经讨论过小指数的离散对数问题，即假设当指数大于某个门限值时，没有有效的算法计算该指数，这里称为离散对数的小指数假设(DLSE)。为保证在证明中改变指数的长度后不影响敌手所观察到的信息，本发明提出小指数与大指数不可区分假设。

小指数与大指数的不可区分性令g是群G的生成元，且假设离散对数的小指数计算问题是困难的。l_f是阶的比特长度。令l_s＜l_f大于某个门限值，使得DLSE假设成立(例如l_s＞160)。令(a＝g^x，b＝g^y)，x∈_R(0，l_f)，y∈_R(0，l_s)，在DLSE假设下，区分a，b是不可行的。

本发明中的基于强RSA假设的数字签名方法，包括如下1)，2)，3)，4)四个步骤：

1)签名服务器根据安全参数k和指数长度l，以及消息长度l_m和参数长度l_e，满足l_m＜l_e生成基于强RSA假设的公钥PK和私钥SK；

2)签名服务器针对需要传输的消息m利用上述私钥生成签名(υ，e，s).具体如下：

第一步，计算υ＝b^γmodn和λ＝γ×e-β，其中b为随机元素

γ∈_R[0，2^l)和β∈_R[0，2^l)为选取的随机数，随机选择e为质数，长度为l_e；n为RSA模数；

第二步，出现消息

后，计算s＝λ-α×m，α∈_R[0，2^l)为选取的随机数。

3)将与m对应的签名(υ，e，s)发送给接收服务器。

4)服务器验证收到的签名(υ，e，s)，利用上述公钥判定所述签名是否有效。

所述指数长度l要符合离散对数的小指数假设，即满足DLSE假设。

生成公钥PK和私钥SK的具体方法为：

第一步，选取RSA模n＝pq，p＝2p′+1，q＝2q′+1，p，q的长度为k，并令n的长度l_n＝2k，p′，q′为质数；

第二步，令QR_n是的二次剩余类群，随机选取QR_n的生成元b，计算a＝b^αmodn，α∈_R[0，2^l)，并计算c＝b^βmodn，β∈_R[0，2^l)，

输出公钥PK＝(n，a，b，c)，私钥SK＝(p′q′，α，β)。

所述服务器验证签名(υ，e，s)的方法具体如下：

接收者收到签名(υ，e，s)，检查是否满足：υ^e≡a^mb^scmodn.如果满足则签名有效。否则签名无效.

所述参数k，l建议取k＝512，l＝160。这是根据现在的计算机计算能力而建议的安全参数.

所述2)步骤的第一步在离线状态下进行，即在消息到达之前，可以预计算生成；第二步在在线状态下进行，即在消息到达时实时计算生成。

本发明在保证签名安全性的情况下，极大地降低了计算代价，提高了签名服务器的处理效率，节省了签名服务器的运算资源。如果以典型的参数l_n＝1024，l＝160来确定本发明的计算代价，主要的计算代价发生在第一步中，其计算代价为160位的模乘法运算，以及81位的质数生成运算。第二步中的计算代价为两个160位的整数的加法运算。由于所有数字签名的方法都要生成一个大质数来保证其安全性，本发明的方法同样运用了Groth提出的方法来降低生成大质数的计算代价。即通过生成一个小质数然后进行平方运算来达到安全性的要求。因此大质数的生成方法是一致，所以不比较质数的生成代价。与现有的数字签名方法相比，在相同的参数设置下，RSA生成签名的计算代价为1024比特的模乘法运算，CS方案为1504比特的模乘法运算，CL方案为2528比特的模乘法运算，Zhu方案为1344比特的模乘法运算，YT方案为1024比特的模乘法运算，本发明仅为160比特的模乘法运算，因此在同类算法中，本发明所需要付出的计算代价是所有方案中最小的，其签名服务器的处理效率得到了极大的提高。此外，本发明支持在线\离线的签名方式，也能提高签名服务器的处理能力。因此，本发明的数字签名方法安全高效。

具体实施方式

下面根据具体实施例进一步说明本发明的方法。

一种基于强RSA假设的数字签名方法，包括如下步骤：

1)签名服务器生成数字签名

A、根据安全参数k和指数长度l，以及消息长度l_m和参数长度l_e，满足l_m＜l_e，生成基于强RSA假设的公钥PK和私钥SK；

B、签名服务器针对需要传输的消息m利用上述私钥生成签名(υ，e，s)，具体步骤如下：

第一步，计算υ＝b^γmodn和λ＝γ×e-β，其中b为随机元素γ∈_R[0，2^l)，β∈_R[0，2^l)为选取的随机数，随机选择e为质数，长度为l_e；n为RSA模。

第二步，出现消息

后，计算s＝λ-α×m，α∈_R[0，2^l)，发送与m对应的签名(υ，e，s)给接收者。

2)接收服务器利用公钥验证签名(υ，e，s)是否有效。

指数长度l符合离散对数的小指数假设。k＝512，l＝160。则l_n＝1024。

生成公钥和私钥的方法为：

以1^k为输入，输出基于强RSA假设的公钥PK和私钥SK。

其生成公钥PK和私钥SK的具体方法为：

第一步，选取RSA模n＝pq，p＝2p′+1，q＝2q′+1，p，q的长度为k，令l_n＝2k，p′，q′为质数；

第二步，令QR_n是

的二次剩余类群，随机选取QR_n的生成元b，计算a＝b^αmodn，α∈_R[0，2^l)，并计算c＝b^βmodn，β∈_R[0，2^l)，输出公钥PK＝(n，a，b，c)，私钥SK＝(p′q′，α，β)。所述第2)步骤的方法为：

接收者接收签名(υ，e，s)，计算υ^e≡a^mb^scmodn是否成立，成立为签名有效。

所述B步骤的第一步在离线状态下进行，即可以在消息签名前，签名者自己进行预计算；第二步当要签名的消息明确后，利用前一步的结果，随时在线签名。

Claims (9)

1.一种基于强RSA假设的数字签名方法，包括如下步骤：

1)签名服务器根据安全参数k和指数长度l，以及消息长度l_m和参数长度l_e，满足l_m＜l_e，生成基于强RSA假设的公钥PK和私钥SK；

2)签名服务器针对需要传输的消息m，利用上述私钥生成签名(υ，e，s)，其中υ＝b^γmodn，λ＝γ×e-β，

为随机元素，n为RSA模数，γ∈_R[0，2^l)和β∈_R[0，2^l)为选取的随机数，e为质数，长度为l_e；

s＝λ-α×m，α∈_R[0，2^l)为选取的随机数；

3)将与消息m对应的签名(υ，e，s)发送给接收服务器；

4)接收服务器验证签名(υ，e，s)，利用上述公钥判定所述签名是否有效。

2.根据权利要求1所述的基于强RSA假设的数字签名方法，其特征在于所述指数长度l符合离散对数的小指数假设。

3.根据权利要求1所述的基于强RSA假设的数字签名方法，其特征在于采取下述步骤生成公钥PK和私钥SK：

1)选取RSA模n＝pq，其中p＝2p′+1，q＝2q′+1，p，q的长度为k，l_n＝2k，p′，q′为质数；

2)随机选取

的二次剩余类群QR_n的生成元b，计算a＝b^αmodn，其中α∈_R[0，2^l)，并计算c＝b^βmodn，其中β∈_R[0，2^l)，输出公钥PK＝(n，a，b，c)，私钥SK＝(p′q′，α，β)。

4.根据权利要求1所述的基于强RSA假设的数字签名方法，其特征在于所述第4)步骤中接收服务器接收签名(υ，e，s)，计算υ^e≡a^mb^scmodn是否成立，成立则签名有效。

5.根据权利要求2-4任一项所述的基于强RSA假设的数字签名方法，其特征在于所述k＝512，l＝160。

6.根据权利要求1所述的基于强RSA假设的数字签名方法，其特征在于所述步骤2)在离线状态下计算υ＝b^γmodn和λ＝γ×e-β。

7.根据权利要求6所述的基于强RSA假设的数字签名方法，其特征在于所述步骤2)在消息到达前计算υ＝b^γmodn和λ＝γ×e-β。

8.根据权利要求1或6所述的基于强RSA假设的数字签名方法，其特征在于所述步骤2)在在线状态下计算s＝λ-α×m，生成与消息m对应的签名(υ，e，s)。

9.根据权利要求8所述的基于强RSA假设的数字签名方法，其特征在于所述步骤2)在消息m到达时实时计算s＝λ-α×m，生成与消息m对应的签名(υ，e，s)。