Forking引理与一类基于身份签名体制的安全性证明.pdfVIP

ISSN 1000-9825, CODEN RUXUEW E-mail: jos@ Journal of Software , Vol.18, No.4, April 2007, pp.1007 1014 DOI: 10.1360/jos181007 Tel/Fax: +86-10 © 2007 by Journal of Software . All rights reserved. Forking 引理与一类基于身份签名体制的安全性证明 1+ 1 2 顾纯祥 , 祝跃飞 , 潘晓豫 1(信息工程大学 信息工程学院 网络工程系,河南 郑州 450002) 2(河南省生产力促进中心,河南 郑州 450008) Forking Lemma and the Security Proofs for a Class of ID-Based Signatures 1+ 1 2 GU Chun-Xiang , ZHU Yue-Fei , PAN Xiao-Yu 1(Department of Network Engineering, Information Engineering College, Information Engineering University, Zhengzhou 450002, China) 2(He’nan Productivity Promotion Center, Zhengzhou 450008, China) + Corresponding author: Phn: +86-371 E-mail: gcxiang5209@ Gu CX, Zhu YF, Pan XY. Forking lemma and the security proofs for a class of ID-based signatures. Journal of Software, 2007,18(4) /1000-9825/18/1007.htm 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. Key words : ID-based signature ; Forking lemma; provable security; existential forgery 摘 要: 在随机谕示模型下,研究一类基于身份的签名体制(称为基于身份的一般签名体制) 的安全性.所得理论成 果可以被看作Pointcheval 和Stern