网络安全协议的自动化设计策略

摘要：

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

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

所属期刊栏目：41

分类号：TP393(计算技术、计算机技术)

资助基金：国家自然科学基金69973034,90104005,60373087;高等学校博士学科点专项科研项目20020486046

在线出版日期：2005-04-07（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：16-17,75