| 网络安全协议的自动化设计策略 |
| |
| 引用本文： | 王张宜,李莉,张焕国.网络安全协议的自动化设计策略[J].计算机工程与应用,2005,41(5):16-17,75. |
| |
| 作者姓名： | 王张宜 李莉 张焕国 |
| |
| 作者单位： | 武汉大学计算机学院,武汉,430072;武汉大学计算机学院,武汉,430072;武汉大学计算机学院,武汉,430072 |
| |
| 基金项目： | 国家自然科学基金(编号:699730349010400560373087)，教育部博士点基金项目(编号:20020486046) |
| |
| 摘 要： | 文章以演化计算为工具,以BAN逻辑为基本的推理准则,在第一阶段随机搜索候选协议,然后在第二阶段通过冗余协议约简方案得出优化的协议。两阶段设计方案可以自动生成各种需求的两方或三方通信协议,并且广泛支持各种加密方法。通过两阶段的生成和过滤,我们的方法可以实现较大规模网络安全协议的自动化设计,例如三方密钥分配协议等。
|
| 关 键 词： | 网络安全协议 BAN逻辑 演化计算 |
| 文章编号： | 1002-8331-(2005)05-0016-02 |
Automatic Design Approach of Security Protocols |
| |
| Wang Zhangyi,Li Li,Zhang Huanguo.Automatic Design Approach of Security Protocols[J].Computer Engineering and Applications,2005,41(5):16-17,75. |
| |
| Authors: | Wang Zhangyi Li Li Zhang Huanguo |
| |
| Abstract: | In the first stage,it uses evolutionary computing random search candidate of security protocols with BAN logic;in the second stage,optimal protocol is gained from redundancy protocols with reduction scheme.Two-stage approach can found variety of two-party or three-party protocols,which support multi-encryption scheme.Through generation and filtration,this approach can automatic design security protocols,such as three-party key agreement etc. |
| |
| Keywords: | security protocols BAN logic evolutionary computing |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
