无双线性对的无证书签名方案的研究_第1页
无双线性对的无证书签名方案的研究_第2页
无双线性对的无证书签名方案的研究_第3页
无双线性对的无证书签名方案的研究_第4页
无双线性对的无证书签名方案的研究_第5页
免费预览已结束,剩余6页可下载查看

付费下载

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1、无双线性对的无证书签名方案的研究摘要:分析指由目前已知无证书签名方案的不足,提由一种无需双线性对运算的无证书签名方案,在随机预言机模型下证明了方案的不可伪造性,其安全性基于离散对数困难假设,并对比分析了与已知其它无证书签名方案的安全性和性能。关键词:无证书公钥密码体制;无证书签名;无双线性对中图分类号:TP309.7文献标识码:A文章编号:1007-9416(2017)04-0092-031引言Shamir提由的基于身份的公钥密码体制,简化了基于证书的公钥密码体制中的证书撤销以及密钥管理问题,目前已提生了很多基于该体制的签名方案,但密钥托管仍旧是其固有的缺陷。2003年,Al-Riyami和P

2、aterson首次提由了无证书公钥密码体制,该体制克服了基于身份的公钥密码体制中的密钥托管问题,也避免了证书密码学中证书存储和管理的问题。对于无证书公钥密码体制的研究成为了密码学的热点。2005年,二人又提由了?o证书签名方案,但较为严谨的形式化安全证明并未给由。Huang等人指由了上述方案具有缺陷,可能遭受密钥替换攻击,并提由了另外的方案和一个全新的安全模型,但此安全模型也不完善,因为不能完全抵抗掉类型I攻击者的攻击。Zhang等人改进了上述安全模型,另外给生了一个高效的签名方案,后续又发表了一种无证书签名方案新的构造方法2,并把运用新构造方法实现的方案与其它学者提由的方法进行了对比,整体性

3、能较好。文献2中提到若把预运算考虑进去,其签名算法比其它方案效率高。即使考虑预运算,签名验证算法中也会用到双线性对o在有限域中,对比标量乘运算和指数运算,双线性对运算比它们更为耗时,根据文献1中指由的,运行一次双线性对运算的时间至少是在椭圆曲线上进行标量乘运算耗费时间的21倍,因此,一个无证书签名方案如果不需要进行双线性对运算,那它将会具有较低的计算复杂度和更高的运算效率。评判一个签名方案是否安全可信的标准为:在较强的安全模型下,即使是基于弱的困难性假设,如果能够证明是安全的,不可伪造的,那么该方案就是安全可信的。本文中的签名方案将DL困难问题替换为BDH困难问题,无论是签名阶段还是验证阶段,

4、算法中均消除了双线性对运算,其安全性基于离散对数困难假设。2无证书签名方案通用算法及其安全模型2.1 无证书签名方案通用算法无证书签名方案中会牵扯到三位参与者:密钥生成中心,签名者,验证者。无证书签名方案主要有以下算法构成:(1)参数初始化算法。输入:安全参数;输由:系统公开参数,系统主密钥;密钥生成中心公开系统公开参数,需要保密系统主密钥。(2)部分私钥和秘密值生成算法。输入:签名者身份ID,系统公开参数,系统主密钥;输由:身份ID签名者的部分私钥,秘密值;密钥生成中心通过安全的信道把和秘密值返还给签名者。(3)私钥和公钥生成算法。输入:签名者身份ID,系统公开参数,部分私钥,秘密值;输由:

5、签名者的公钥,私钥。(4)签名算法。输入:系统公开参数,消息,签名者身份ID,公钥,私钥;输由:签名。(5)验证签名算法。输入:系统公开参数,签名,消息,签名者身份ID,公钥;输由:1或者0如果验证通过,输由1,否则输由0。2.2 安全模型无证书公钥密码体制中具有两种不同类型的攻击者A和Bo根据Huang等人发表的论文中定义的攻击者类型,无证书签名方案中常常会面临两种类型的攻击。A:攻击者能够查到签名者的公钥,或者能够替换掉签名者的公钥,但系统主密钥是保密的。B:攻击者能够获取到系统主密钥,但签名者的公钥是保密的,也不能够替换掉签名者的公钥。定义2.1在A类型的攻击者的攻击下,如果在概率多项式

6、的时间内,攻击者在如下的攻击步骤中没有获得不可忽略的优势,则该无证书签名方案在适应性选择消息攻击下,具有不可伪造性。(1)攻击者输入安全参数,运行初始化参数算法,获得系统公开参数publicParams,系统主密钥是保密的。(2)攻击阶段,攻击者操作如下:Hash查询:任意输入的hash值都可以查询到。部分私钥查询:任意选择签名者的身份ID,通过部分私钥和秘密值生成算法,查询到部分私钥。公钥/私钥查询:任意选择签名者的身份ID,通过私钥和公钥生成算法,查询到对应的公钥/私钥对。签名者公钥替换:任意选择签名者身份ID,选择一个新公钥进行替换。签名查询:任意选择签名者身份ID和明文,对该签名者进行

7、公钥/私钥查询,计算对应的签名。(3)签名伪造:伪造对应身份ID签名者的四元组签名(明文,签名,身份ID,公钥)。由以上可知,若攻击者想获得胜利,当且仅当:1)伪造的签名是身份ID签名者利用公钥/私钥对消息的一个合法有效签名。2)攻击者没有进行过身份为ID的签名者的部分私钥查询。3)攻击者没有进行过身份ID签名者对消息的签名查询。定义2.2在B类型的攻击者的攻击下,如果在概率多项式的时间内,攻击者在如下的攻击步骤中没有获得不可忽略的优势,则该无证书签名方案在适应性选择消息攻击下,具有不可伪造性。(1)攻击者输入安全参数,运行初始化参数算法,获得系统公开参数publicParams和系统主密钥。

8、(2)查询阶段,攻击者执行的操作同定义2.1中的第二步骤。(3)?名伪造:伪造对应身份ID签名者的四元组签名(明文,签名,身份id,公钥)。由以上可知,若攻击者想获得胜利,当且仅当:1)伪造的签名是身份id签名者利用公钥/私钥对消息的一个合法有效签名。2)攻击者没有进行过身份为id的签名者的秘密值,也没有替换掉签名者的公钥。3)攻击者没有进行过身份id签名者对消息的签名查询。定义2.3如果在上述攻击下,攻击者在概率多项式时间内无法获得胜利,那么这个无证书签名方案在适应性选择消息攻击下就是安全的,存在不可伪造性。3无双线性对签名方案3.1 参数初始化首先根据安全参数,生成两个满足的素数p、q,之

9、后密钥生成中心随机选择系统主密钥,需保密系统主密钥乙公开系统参数,其中参数,为选择的安全Hash函数:一参数,参数P是椭圆曲线上循环群中任意一阶为q的生成元。3.2 签名者密钥生成根据给由的签名者身份,密钥生成中心随机选择参数,计算签名者的部分私钥和部分公钥,并通过安全的渠道返回给签名者。其中,O签名者可以通过计算是否成立来判断密钥生成中心分配给自己的部分私钥是否有效。签名者随机选择作为其秘密值,生成对应的私钥,公钥,其中,O3.3 签名操作签名者A随机选择a,生成签名,将消息和发送给验证者B,其中,3.4 签名验证操作当收到签名和后,验证者B将提交至密钥生成中心,通过计算是否成立来公开验证签

10、名者的身份,其中,若此等式成立,则输由1,否则输由0。4安全性证明(证明参考文献6中的方法)定理4.1在ROM中,若存在一个A类型的攻击者能在概率多项式的时间内以绝对优势在定义2.1中的攻击过程中获胜,即说明在多项式受限制时间内能够以(假设Hash查询最多进行次,i=1,2)的优势解决离散对数困难问题。假设W可以解决离散对数难题,预设其困难问题的输入为,计算由v是W的目标。最初,W需要设置,并维持以下初始值为空的列表用于记录查询结果:,查询列表,部分私钥查询列表,私钥查询列表,公钥查询列表,签名列表和验证签名查询列表。其中为攻击者。攻击开始后,W首先发送给。,查询:列表的格式为,列表的格式为,

11、针对列表,对进行查询,并把查询结果发送给W,若已在列表中存在,则把相应的值返回给。若不存在,则W需在中随机选择,并将结果加入列表中。针对列表,对进行查询,并把查询结果发送给W,若已在列表中存在,则把相应的值返回给。若不存在,则W随机选择c,当c=0时,在中随机选择并返回给,并把结果加入列表中;当c=1时,返回给。部分私钥提取查询:列表的格式为(ID,D,R),如果在列表中存在,则返回给。否则,W在中随机选择D,将结果加入列表,中,将(R,D)返回给,其中。私钥/公钥提取查询:列表的格式为(ID,D,x),如果在列表中存在,则返回给。否则,W进行部分五月提取查询得到参数D,在中随机选择x,把结果

12、加入列表中。列表的格式为(ID,R,X),如果在列表中存在,则返回给。否则,W进行部分私钥提取查询和私钥提取查询,将结果加入列表中,并返回(R,X)给,其中X=xP;若列表和中不存在,则进行查询,若c=1,W在中随机选择r,x,将结果连同c加入列表中,并返回(R,X),其中R=rP,X=xP。若c=0,查询列表,获得(R,D),W在中随机选择x,把结果加入列表,中,并返回(R,X)。公钥替换/签名查询:由于知道签名者的身份ID,可以把原来的x替换为,把对应的公钥R替换为。针对签名,W先进行公钥提取查询,若c=1,则放弃,否则进行私钥提起查询,在中随机选a,把消息返回给,其中T=aP,X=xP,

13、。校验签名查询:W先在列表查询:(1)若c存在且等于0,则在列表中查询,若成立,输由1,表示通过验证,否则终止。其中,。(2)若c存在且等于1,则进行查询,若在查询中存在,输由1,表示通过验证,否则终止。(3)如果公钥提取查询为空,那么进行查询,若在查询中存在,输由1,表示通过验证,否则终止。经过若干次数查询后,在中随机选择a,输由对m的有效伪造签名,其中T=aP,o若伪造签名成功,W会得到,否则,W就没有解决离散对数困难问题。如果对进行过部分私钥或私钥查询,则W就会攻击失败,它不作这种查询的概率至少是;如果对进行查询,则W就会攻击失败,它不做这种查询的概率大于。因此,W解决DL困难问题的优势

14、至少是。定理4.2在ROM中,若存在一个A类型的攻击者能在概率多项式的时间内以绝对优势在定义2.2中的攻击过程中获胜,即说明在多项式受限制时间内能够以(假设Hash查询最多进行次,i=1,2)的优势解决离散对数困难问题。假设W可以解决离散对数难题,给定一个随机的DL困难问题实例(p,q,P,aP),则W的目标是计算由a。为攻击者且知道系统主密钥z,但不能进行公钥替换攻击,其它条件及目标均同定理1中给定的。攻击开始后,W发送给。可以进行定理3.1中的除校验签名之外的所有查询。校验签名查询:W先在列表查询:(1)若存在且c=0,则在列表中查询,若成立,输由1,表示通过验证,否则终止模拟,其中。(2

15、)若存在且c=1,则进行查询,若查询存在结果,输由1,表示通过验证,否则终止。(3)如果进行公钥提取查询结果为空,就进行查询,如果查询存在结果,输由1,表示通过验证,否则终止经过若干次数查询后,在中随机选择a,输由对m的有效伪造签名,其中T=aP,o若伪造签名成功,W会得到,否则,W就没有解决离散对数困难问题。若对进行过部分私钥或私钥查询,则W失败,它不作这种查询的概率至少是;若对进行查询,则W失败,它不做这种查询的概率大于。因此,W解决DL困难问题的优势至少是。5效率分析若用P表示一个双线性对运算,S表示群中的一次标量乘运算,H表示一次哈希运算,E表示群中的指数运算,表示中一个点的长度,表示

16、群中一个点的长度,群本文签名长度为,公钥长度为,签名和验证的运算总量为3S+2H。文献8中方案1的签名长度为,公钥长度为,计算总量为5P+3H+1S方案2中的签名长度为,公钥长度为,计算总量为3P+7S+3E+1H文献3中签名长度为,公钥长度为,计算总量是2P+2S+6E文献6中签名长度为,公钥长度为,计算总量是4P+2S+2E+1H对比得知,尽管文献4中方案1的签名长度和公钥长度均小于本方案,但是其计算量高于本方案。文献4中方案2和文献3的签名长度与本方案相当,文献2的签名程度比本方案短,但它们的计算量仍旧高于本方案。显然就签名的计算效率来说,效率明显高于文献2-4中的方案。6结语本文简单介

17、绍了已知的无证书签名方案,并分析了它们的缺点,根据无证书签名方案的通用算法,提由了无需双线性对运算的签名方案。本方案在随机预言机模型下证明了其不可伪造性,其安全性是基于离散对数困难假设的,并且无论是在签名阶段还是验证?名阶段,均没有用到双线性对运算,与其它签名方案相比具有更低的计算复杂度和更好的计算效率的优点,但仍有不足,签名长度和公钥长度较长,不利于在网络中传输,因此仍旧有深入研究的必要。参考文献1ChenL,ChengZ,andSmartNP.Identity-basedkeyagreementprotocolsfromPairingsJ.Int.J.Inf.Secur,2007,6(4)

18、:213-241.2张磊,张福泰.一类无证书签名方案的构造方法J.计算机学报,2009,(05):940-945.3ZhangL,ZhangF,andZhangF.NewefficientcertificatelesssignatureProceedingsoftheEUCworkshops2007,LectureNotesinComputerScience4809.Taipei,Taiwan:Springer-Verlag,2007:692-703.4HuangX,Mu丫,SusiloW,WongD,andWuW.certificatelesssignaturerevisited/ProceedingsoftheACISP2007,LectureNot

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论