| 基于进化规划的网络安全协议的自动生成 |
| |
| 引用本文： | 孙王华,申普兵,杨谨.基于进化规划的网络安全协议的自动生成[J].现代电子技术,2008,31(13). |
| |
| 作者姓名： | 孙王华 申普兵 杨谨 |
| |
| 作者单位： | 西安通信学院,陕西西安,710106 |
| |
| 摘 要： | 提出了基于进化规划的安全协议生成方法,并用BAN逻辑来描述和验证协议,为进一步提高协议生成效率,降低协议消息的冗余度,加入了协议优化模块.该方法具有较高的扩展性,对于不同的需求,可以生成不同的安全协议.实验表明,本文方法能够成功、高效地生成安全协议,保证所生成协议的安全性.
|
| 关 键 词： | 安全协议 BAN逻辑 进化规划 自动生成 进化规划 网络 安全协议 自动 BAN Logic Based Cryptographic Protocol Generation 安全性 实验 需求 扩展性 生成方法 优化模块 冗余度 成效率 验证协议 描述 逻辑 |
Automatic Generation of Cryptographic Protocol Based on BAN Logic |
| |
| SUN Wanghua,SHEN Pubing,YANG Jin.Automatic Generation of Cryptographic Protocol Based on BAN Logic[J].Modern Electronic Technique,2008,31(13). |
| |
| Authors: | SUN Wanghua SHEN Pubing YANG Jin |
| |
| Abstract: | An automatic generating approach cryptographic protocol is presented.Evolutionary programming is used as the core generating algorithm.BAN logic is used to describe and verify the protocol.Optimization system is used to increase the efficiency and reduce the redundancy of the generated protocols.The experimental results show that this approach is effective and of high efficiency. |
| |
| Keywords: | security protocol BAN logic evolutionary programming automatic generating |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
