首页 | 本学科首页   官方微博 | 高级检索  
     

Forking引理与一类基于身份签名体制的安全性证明
引用本文:顾纯祥,祝跃飞,潘晓豫.Forking引理与一类基于身份签名体制的安全性证明[J].软件学报,2007,18(4):1007-1014.
作者姓名:顾纯祥  祝跃飞  潘晓豫
作者单位:1. 信息工程大学,信息工程学院,网络工程系,河南,郑州,450002
2. 河南省生产力促进中心,河南,郑州,450008
基金项目:国家自然科学基金;国家重点基础研究发展计划(973计划)
摘    要:在随机谕示模型下,研究一类基于身份的签名体制(称为基于身份的一般签名体制)的安全性.所得理论成果可以被看作Pointcheval和Stern提出的Forking引理在基于身份签名体制研究领域的扩展,有助于理解和简化一些现有的基于身份签名体制的安全性证明,如Cha-Cheon的体制、Hess的体制1及Cheon-Kim-Yoon的体制等.

关 键 词:基于身份的签名  Forking引理  可证安全  存在性伪造
收稿时间:2005-08-26
修稿时间:2005-11-09

Forking Lemma and the Security Proofs for a Class of ID-Based Signatures
GU Chun-Xiang,ZHU Yue-Fei and PAN Xiao-Yu.Forking Lemma and the Security Proofs for a Class of ID-Based Signatures[J].Journal of Software,2007,18(4):1007-1014.
Authors:GU Chun-Xiang  ZHU Yue-Fei and PAN Xiao-Yu
Abstract: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-1, Cheon-Kim-Yoon's scheme, and so on.
Keywords:ID-based signature  Forking lemma  provable security  existential forgery
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《软件学报》浏览原始摘要信息
点击此处可从《软件学报》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号