标准模型下的代理签名:构造模型与证明安全性  

Proxy Signature in the Standard Model:Constructing Security Model and Proving Security

作　　者：谷科[1,2] 贾维嘉[2,3] 王四春[1] 石良武[1] 

机构地区：[1]湖南商学院信息学院,湖南长沙410205 [2]中南大学信息科学与工程学院,湖南长沙410083 [3]香港城市大学计算机科学系

出　　处：《软件学报》2012年第9期2416-2429,共14页Journal of Software

基　　金：教育部人文社科项目(12YJAZH142);香港城市大学研究项目基金(9681001;6351006);香港城市大学战略研究发展基金(7008110);深港创新圈基金(ZYB200907080078A);湖南省社科基金重点项目(09ZDB080);湖南省软科学研究项目(2010ZK3029)

摘　　要：目前已经提出的代理签名方案缺乏在完整的代理签名安全模型下证明方案的安全性.在Boldyreva等人提出的代理签名安全模型的基础上,对代理签名的可证安全模型进行详细的形式化定义,提出一种完整的代理签名可证安全模型.同时,为了展示该安全模型的有效性和可扩展性,对Paterson等人提出的标准模型下基于身份的签名方案进行扩展,提出在标准模型下基于身份的代理签名方案,并在可证安全模型下,证明新方案具有在自适应选择消息攻击下存在基于身份的代理签名不可伪造性,其安全性在标准模型下可归约于CDH问题假定.新方案与标准模型下基于公钥密码体制的代理签名方案相比,不仅增加了用户身份的概念,还具有更完备的安全性.Current proxy signature schemes are not proved for their security in the complete provable security model of proxy signature. In this paper, we show a complete provable security model for proxy signature based on Boldyreva＇s provable security model, and a new identity-based proxy signature scheme are proposed in the standard model, which is based on Paterson＇s scheme. In the complete provable security model for proxy signature, the new scheme is proved to have the existential identity-based proxy signature unforgerability under an adaptive chosen message attack, which has a security reduction to CDHP. Comparing with other proxy signature schemes based on public key cryptosystem in the standard model, the concept of the identity is introduced into the new scheme, and the new scheme is more secure.

关 键 词：代理签名 可证安全性 身份 CDH问题 

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