基于合一替换推理的密码协议分析

• 作者: 段云所 秦超 陈钟
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 密码协议 合一替换 自动推理
• 年，卷（期）: 2002,（7）
• 所属期刊栏目: 博士论文
• 页码范围: 10-11，47
• 页数: 3页
• 分类号: TN915.04
• 字数: 4297字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2002.07.005

摘要

提出了一种简单的,更适合于自动化操作的密码协议分析方法.通过进一步分析攻击者的计算能力,形成一个有效的自动推理系统.攻击者为应答挑战主体的消息,把该消息应答转化为利用推理系统进行合一替换.并分别给出了Needham-Schroeder协议的推理说明.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈钟	北京大学计算机系信息安全实验室	105	1674	18.0	38.0
2	段云所	北京大学计算机系信息安全实验室	36	402	11.0	18.0
3	秦超	北京大学计算机系信息安全实验室	5	48	2.0	5.0