Forking引理与一类基于身份签名体制的安全性证明(英文)  

Forking Lemma and the Security Proofs for a Class of ID-Based Signatures

作　　者：顾纯祥[1] 祝跃飞[1] 潘晓豫[2] 

机构地区：[1]信息工程大学信息工程学院网络工程系,河南郑州450002 [2]河南省生产力促进中心,河南郑州450008

出　　处：《软件学报》2007年第4期1007-1014,共8页Journal of Software

基　　金：SupportedbytheNationalNaturalScienceFoundationofChinaunderGrantNos.90204015,60473021(国家自然科学基金);theNationalGrandFundamentalResearch973ProgramofChinaunderGrantNo.G1999035804(国家重点基础研究发展规划(973))

摘　　要：在随机谕示模型下,研究一类基于身份的签名体制(称为基于身份的一般签名体制)的安全性.所得理论成果可以被看作Pointcheval和Stern提出的Forking引理在基于身份签名体制研究领域的扩展,有助于理解和简化一些现有的基于身份签名体制的安全性证明,如Cha-Cheon的体制、Hess的体制1及Cheon-Kim-Yoon的体制等.This paper offers arguments for the provable security of a class of ID-based signature schemes called ID-based generic signature schemes in the random oracle model. The theoretical result can be viewed as an extension of the Forking Lemma due to Pointcheval and Stern for ID-based signature schemes, and can help to understand and simplify the security proofs of previous work such as Cha-Cheon＇s scheme, Hess＇s scheme-l, Cheon-Kim-Yoon＇s scheme, and so on.

关 键 词：基于身份的签名 Forking引理 可证安全 存在性伪造 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]