基于角色冒充对数字签名协议的攻击

• 作者: 周宏斌 王新兵 马征 黄连生
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 安全协议 数字签名 形式化验证 攻击者 角色冒充
• 年，卷（期）: 2001,（12）
• 页码范围: 1769-1774
• 页数: 6页
• 分类号: TP309
• 字数: 1252字
• 语种: 中文

摘要

实现对具有数字签名的身份认证协议进行验证.从攻击者的角度,基于角色冒充的方法,使用逆向归结的推理方式,采用JAVA来实现验证算法.对于一些具有数字签名的协议,可以进行有效的验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王新兵	清华大学计算机科学与技术系	6	17	3.0	3.0
2	黄连生	清华大学计算机科学与技术系	15	144	6.0	12.0
3	马征	清华大学计算机科学与技术系	4	5	1.0	2.0
4	周宏斌	清华大学计算机科学与技术系	2	44	2.0	2.0