基于进程演算的公钥密码体制安全性自动化证明系统

• 作者: 光焱 赵双峰 顾纯祥 黄莉
• 来源期刊: 信息工程大学学报
• 学科: 工学
• 关键词: 公钥密码体制 可证安全 进程演算 基于游戏的证明方法
• 年，卷（期）: 2012,（5）
• 所属期刊栏目: 数学与信息安全
• 页码范围: 513-520
• 页数: 8页
• 分类号: TP309
• 字数: 7773字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-0673.2012.05.001

摘要

可证安全是一种通过严格证明确保密码体制安全性的形式化方法,但由于其证明结论严重依赖于证明者个人的经验和技巧,这一方法本身的可靠性受到了质疑.文章设计并实现了一套公钥密码体制安全性自动化证明系统,使用一种概率多项式时间进程演算描述可证安全模型,借助进程间的互模拟等价关系和进程约减实现基于游戏的可证安全自动化证明.系统在C语言环境下实现,已完成ElGamal加密体制和FDH签名体制在内的一系列密码体制的安全性证明测试.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄莉	信息工程大学科研部	12	21	3.0	4.0
2	顾纯祥	信息工程大学网络空间安全学院	20	115	6.0	10.0
3	光焱	信息工程大学网络空间安全学院	7	45	4.0	6.0
4	赵双峰		1	1	1.0	1.0