摘要
文章以演化计算为工具,以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.
出处
《计算机工程与应用》
CSCD
北大核心
2005年第5期16-17,75,共3页
Computer Engineering and Applications
基金
国家自然科学基金(编号:699730349010400560373087)
教育部博士点基金项目(编号:20020486046)
