| 基于合一替换推理的密码协议分析 |
| |
| 引用本文： | 秦超,陈钟,段云所. 基于合一替换推理的密码协议分析[J]. 计算机工程, 2002, 28(7): 10-11 |
| |
| 作者姓名： | 秦超 陈钟 段云所 |
| |
| 作者单位： | 北京大学计算机系信息安全实验室,北京,100871 |
| |
| 基金项目： | 国家自然科学基金资助项目(和)6997300460003015 |
| |
| 摘 要： | 提出了一种简单的，更适合于自动化操作的密码协议分析方法，通过进一步分析攻击者的计算能力，形成一个有效的自动推理系统。攻击者为应答挑战主体的消息。把该消息应答转化为利用推理系统进行合一替换。并分别给出了Needham-Schroede协议的推理说明。
|
| 关 键 词： | 合一替换推理 密码协议分析 自动推理 计算机网络 |
| 文章编号： | 1000-3428(2002)07-0010-02 |
| 修稿时间： | 2001-08-27 |
Cryptographic Protocol Analysis Based on Unification Substitution Reasoning |
| |
| QIN ChaoCHEN ZhongDUAN Yunsuo,. Cryptographic Protocol Analysis Based on Unification Substitution Reasoning[J]. Computer Engineering, 2002, 28(7): 10-11 |
| |
| Authors: | QIN ChaoCHEN ZhongDUAN Yunsuo |
| |
| Affiliation: | Computer Science Department of Peking UniversityBeijing 100871 |
| |
| Abstract: | We use a new automatic formal approach for the analysis of cryptographic protocols. Based on the analysis of intruder's computation ability, we build a automatic inference system, by which intruder changes taking up challenge into unification substitution problem. Moreover, we illustrate the method using Needham-Schroeder protocol. ;; |
| |
| Keywords: | Cryptography protocolsUnification substitution Automatic formal verification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
