| 安全协议的等价性问题 |
| |
| 引用本文： | 缪祥华,何大可. 安全协议的等价性问题[J]. 计算机工程, 2007, 33(19): 45-46 |
| |
| 作者姓名： | 缪祥华 何大可 |
| |
| 作者单位： | 昆明理工大学信息工程与自动化学院,昆明,650051;西南交通大学信息安全与国家计算网格实验室,成都,610031 |
| |
| 摘 要： | 研究了安全协议的等价性问题，提出了安全协议等价的概念。把每个安全协议的消息和目标分别形式化为表达式集，通过一个算法分别求各表达式集合的最一般代换。如果最一般代换都存在，说明安全协议是等价的，反之则说明安全协议是不等价的。利用安全协议集合上的等价关系，可以划分出安全协议等价类，从而减少了需研究的安全协议的数量。
|
| 关 键 词： | 安全协议 等价 表达式 最一般代换 |
| 文章编号： | 1000-3428（2007）19-0045-02 |
| 修稿时间： | 2006-10-23 |
Equivalence Problem of Security Protocol |
| |
| MIAO Xiang-hua,HE Da-ke. Equivalence Problem of Security Protocol[J]. Computer Engineering, 2007, 33(19): 45-46 |
| |
| Authors: | MIAO Xiang-hua HE Da-ke |
| |
| Affiliation: | (1. School of Information Engineering & Automation, Kunming University of Science and Technology, Kunming 650051; 2. Laboratory of Information Security and National Computing Grid, Southwest Jiaotong University, Chengdu 610031) |
| |
| Abstract: | This paper researches on equivalence problem of security protocol and presents the notion of security protocol equivalence.Messages and goals of each security protocol are formalized with different set of expression,then most general substitute of the set of expression can be solved by an algorithm.If there exists most general substitute,security protocols are equivalent,or security protocols are not equivalent.According to the equivalence relation on the set of security protocol,equivalence class of security protocol is divided,so amount of researching security protocol is decreased. |
| |
| Keywords: | security protocol equivalence expression most general substitute |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载免费的PDF全文 |
