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

• 作者: 王四春 石良武 谷科 贾维嘉
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 代理签名 可证安全性 身份 CDH问题
• 年，卷（期）: 2012,（9）
• 所属期刊栏目: 计算机网络与信息安全
• 页码范围: 2416-2429
• 页数: 14页
• 分类号: TP309
• 字数: 11576字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2012.04246

摘要

目前已经提出的代理签名方案缺乏在完整的代理签名安全模型下证明方案的安全性.在Boldyreva等人提出的代理签名安全模型的基础上,对代理签名的可证安全模型进行详细的形式化定义,提出一种完整的代理签名可证安全模型.同时,为了展示该安全模型的有效性和可扩展性,对Paterson等人提出的标准模型下基于身份的签名方案进行扩展,提出在标准模型下基于身份的代理签名方案,并在可证安全模型下,证明新方案具有在自适应选择消息攻击下存在基于身份的代理签名不可伪造性,其安全性在标准模型下可归约于CDH问题假定.新方案与标准模型下基于公钥密码体制的代理签名方案相比,不仅增加了用户身份的概念,还具有更完备的安全性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	贾维嘉	中南大学信息科学与工程学院	25	187	8.0	13.0
5	谷科	湖南商学院信息学院	12	92	5.0	9.0
7	石良武	湖南商学院信息学院	54	142	6.0	9.0
8	王四春	湖南商学院信息学院	21	99	6.0	9.0