公钥加密体制自动化安全性证明方法研究

• 作者: 李安乐 祝跃飞 陈楠 顾纯祥
• 来源期刊: 信息工程大学学报
• 学科: 工学
• 关键词: 可证明安全 自动化 攻击游戏 ElGamal加密体制
• 年，卷（期）: 2010,（4）
• 页码范围: 472-476,492
• 分类号: TN918.1
• 字数: 2249字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-0673.2010.04.020

摘要

可证明安全是目前分析密码协议安全性的一种重要方法,但是手工证明的难度较大,正确性也难以保证.利用计算机技术实现可证明安全性的自动化分析是目前的一个研究热点.文章在前人工作的基础上,设计了一个适用于更多密码协议的安全性证明的自动化证明工具.着重介绍了利用高级描述语言来描述的输入文件即"初始攻击游戏"的结构,并以带Hash的ElGamal加密体制为例,利用证明工具,实现了其安全性的自动化证明.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	祝跃飞	信息工程大学信息工程学院	80	379	10.0	14.0
2	陈楠	信息工程大学信息工程学院	2	6	1.0	2.0
3	顾纯祥	信息工程大学信息工程学院	20	115	6.0	10.0
4	李安乐	信息工程大学信息工程学院	1	0	0.0	0.0