资源描述：
《短群签名的高效批验证》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、第10卷第3期信息工程大学学报Vol10No32009年9月JournalofInformationEngineeringUniversitySep2009短群签名的高效批验证游伟,陈少真(信息工程大学信息工程学院,河南郑州450002)摘要:进入普适通信的时代,从车辆到心脏监听器等大量设备都需要与它们的环境彼此交流信息,从而对验证和安全通信的要求不断上升:密码费用较低;能够快速验证大量不同来源的消息;隐私保护。文章针对一个高效的短群签名体制提出了一个批验证算法,其中验证运算的主要部分只需要2个双线性对,就可满足上面的全部3个要求。关键词:批验证;批验证算法;小指数检
2、验;短群签名中图分类号:TN918.1文献标识码:A文章编号:1671-0673(2009)03-0306-03BatchVerificationofShortGroupSignaturesYOUWe,iCHENShao-zhen(InstituteofInformationEngineering,InformationEngineeringUniversity,Zhengzhou450002,China)Abstract:Aspervasivecommunicationbecomesareality,everythingfromvehiclestoheartmonitors
3、constantlycommunicateswiththeirenvironments,theneedforauthenticationandsecurecommun-icationgrows.Forinstance,severalapplicationsrequirethatcryptographicoverheadbelowandthatmanymessagesfrommanydifferentsignersbeverifiedveryquickly,andmoreoverbeprivacy-friend-ly.Thispaperproposesabatchverifierfo
4、ranefficientgroupsignatureschemewithaverificationtimewherethedominantoperationrequiresonly2pairings.Keywords:batchverification;batchverifier;smallexponentstes;tshortgroupsignatures在Eurocrypt2007上,文献[1]首次考虑了如何加速短签名的验证问题,针对无随机预言模型的短1定义及双线性对签名体制提出了第1个高效并且实用的批验证算法,其中验证运算的主要部分和签名个数是独立1.1群签名及群签名
5、的批验证的。然而,文献[1]并没有考虑各种匿名系统的批群签名体制允许群成员匿名地代表这个群进验证问题,例如群签名、电子现金系统以及匿名证行签名,本文考虑Furukawa和Imai定义的群签名[3][1]书等。文献[2]给出了如何安全地对基于双线性模型,将Camenisch等人对常规签名批验证的对的等式进行批验证的基本框架,进一步研究了如定义推广到了群签名上。批验证算法的输入为何将提出的基本框架应用到现有的各种匿名体制{(m1,gs1),,(m,gs)},其中gsi是关于mi的[1]中,从而初步解决了Camenisch等人没有解决的签名。问题。定义1(群签名的批验证)令lb是
6、安全水平。[3]本文针对Furukawa和Imai(FI)的高效群假设GS=(M-KeyGen,T-KeyGen,Join,Sign,Ver-签名体制提出了批验证算法,其中验证运算的主要ify,Open)是一个群签名体制,poly(lb),mpk由部分和签名个数是独立的。M-KeyGen(1)生成,随后tpk再由T-KeyGen(mpk)收稿日期:2008-11-15;修回日期:2009-03-04基金项目:国家863计划资助项目(2006AA01Z417);国家自然科学基金资助项目(60673081)作者简介:游伟(1984-),男,硕士生,主要研究方向为信息
7、安全。第3期游伟等:短群签名的高效批验证307生成。若下面两个条件成立,则称概率算法Batch(Ui,ideri)=(Ui,Xi)添加到群成员列表L中。是一个批验证算法:群成员i生成它的成员资格证书certi:=若对i[1,],Verify(mpk,tpk,mi,gsi)(Ai,yi,zi)=(Ai,yi,zi+zi)。检验下面等式是否成=1,则Batch((mpk,tpk,myixizi1,gs1),,(mpk,tpk,立:e(Ai,g2)
