基于属性的指定证实人签名方案-论文.pdf

《基于属性的指定证实人签名方案-论文.pdf》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、第13卷第3期广州大学学报(自然科学版)Vo1．13No．32014笠6月JournalofGuangzhouUniversity(NaturalScienceEdition)Jun．2014文章编号：1671—4229(2014)03-0013-04基于属性的指定证实人签名方案唐春明h，任燕(1a．广州大学数学与信息科学学院；b．数学与交叉科学广东普通高校重点实验室，广东广州510006；2．运城学院应用数学系，山西运城044000)摘要：利用椭圆曲线上的双线性对，首次构建了一个基于属性的指定证实人签名方案．在该方案中，具有指定属性的人均可对签名的有效性进行

2、确认．同时，对方案的正确性和安全性进行了分析．分析表明本方案具有不可伪造性，并能抵抗合谋攻击．关键词：双线性对；拉格朗日插值；数字签名；基于属性签名；指定证实人签名中图分类号：TP309文献标志码：ASAHAI和WATERS首次提出属性的概念[18]中对指定证实人签名的模型和设计进行了分后⋯，基于属性的密码体制成为研究的热点之析．同时，指定证实人签名可以用于构建公平交换。一．基于属性的签名的思想是由基于身份的协议．模糊签名_6的概念发展而来的．在基于属性的数本文首次构建了一个基于属性的指定证实人字签名中，签名者是通过一个属性集合来描述的，签名方案．在该方案中，

3、具有指定属性的人均可对这代替了原来对应于签名者身份的单一的串．签签名的有效性进行确认．同时，笔者对方案的正确名者声称签名对应于一组特定的属性或某种特定性和安全性进行了分析，本方案具有不可伪造性，访问结构，验证者可以检验签名是否为相应的属并能抵抗合谋攻击．性或访问结构拥有者的签名．为了保证签名的接收者无法滥用签名，1预备知识CHAUM于1989年提出了不可否认签名的概念．与传统的数字签名不同，在不可否认签名方案1．1双线性映射中，验证者必须有签名者的帮助才能验证一个不设G。，G是两个循环乘法群，G、G的阶均可否认签名，而在签名者由于一些原因不能或者为素数q．设e

4、：GXG。一G为一个双线性映射．若不愿意帮助验证者的时候，验证将无法实现．因群G，G：上的离散对数问题是困难的，则e满足如此，CHAUM在1994年提出了指定证实人签名下性质．的概念．在该签名方案中，签名者无法合作验证签(1)双线性性：对P，Q∈G和0，b∈Z有e名时，可以由签名者指定的证实人对签名的有效(aP，bQ)=B(P，())ab．性进行确认．在此之后，OKAMOTO在文献[9]中(2)非退化性：有p，Q∈G。使e(P，Q)≠1．给出了一个更有效的指定证实人签名的构造，(3)可计算性：e(P，Q)可有效计算．MICHELS等¨指出了OKAMOTO所提出

5、的方案1．2拉格朗日插值定理的不足之处并给出了修正方案．随后GENTRY等设)为的一个次数为n的多项式．厂的函提出了一些指定证实人签名方案¨卜”，但是这些数，如果给定多项式n+1个不同点(，f())，则方案都是只有一个指定的证实人．XIA在文献通过式(1)能唯一确定任意一个所对应的多项收稿日期：2014—04—18；修回日期：2014—04—28基金项目：国家自然科学基金资助项目(1127100311241005)；教育部高等学校博士学科点专项科研基金博导类联合资助课题(20134410110003)；广东省自然科学基金面上资助项目($201201000995

6、0)；广东省高校科技创新项目(2013KJCX0146)；广东省教育厅高层次人才项目；广州市教育局资助项目(2012A004)；运城学院生物数学重点实验室开放课题(SWSX201306)作者简介：唐春明(1972一)男，教授，博士生导师．E-mail：ctang@gzhu．edu．cn14广州I大学学报(自然科学版)第l3卷式．厂()值：上的前{u1个元素来构成集合u，分别为1，2，⋯l厂()=∑f(xi)(1-I(—)／xj—)(1)，lMJ(modp)．然后，从z上随机选择一系列的数：，t，t，对上式中可以定义拉格朗日系数△，其中i∈Zp，⋯，⋯作为主密钥

7、，定义如下公开参数：集合s中的元素取自z：：g，=g，T1=g“⋯Tl1=gi．，，△()=n．定义一个哈希函数：：{0，1}一．1．3本方案依赖的困难性问题这样主密钥包含：s，t，t一，t．(1)离散对数问题(DLP)：P，Q∈G，求nE公开参数包括：，，··TIG1，G2，e，Hz。，使得P=nQ．(2)公私钥提取(2)双线性对求逆问题：已知P∈G，n：e(P，首先生成签名者S的公私钥．Q)，求Q∈G．令签名者S的属性集合为“，PKG首先(3)计算Diffie-Hellman问题(CDHP)：已知选择一个d一1阶的多项式q()，满足q(O)=Y，0，6Ez

8、。，和(P，aP，bP)，计算abP．