作　　者： ; ; ;

机构地区： 武汉大学计算机学院

出　　处： 《计算机工程与应用》 2005年第5期16-17,75,共3页

摘　　要： 文章以演化计算为工具,以BAN逻辑为基本的推理准则,在第一阶段随机搜索候选协议,然后在第二阶段通过冗余协议约简方案得出优化的协议。两阶段设计方案可以自动生成各种需求的两方或三方通信协议,并且广泛支持各种加密方法。通过两阶段的生成和过滤,我们的方法可以实现较大规模网络安全协议的自动化设计,例如三方密钥分配协议等。 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.

关 键 词： 网络安全协议 逻辑 演化计算

领　　域： [自动化与计算机技术] [自动化与计算机技术]