一种密钥协商协议的自动化设计方法

摘要：

通过引入优胜劣汰的自然规律,提出了一种改进的基于演化计算的安全协议自动化设计方法.该方法采用SVO逻辑作为描述协议的基本工具,给出了能全面衡量安全协议个体性能的评估函数,并据此理论设计出一种满足安全目标的密钥协商协议,保证了最终生成协议为最优解.实验结果显示:由于在协议生成过程中,同时进行了该协议的安全验证,能很好地保证所涉及协议的正确性和安全性.表明该方法具有较强的可行性和适用性.

关键词：安全协议、演化计算、自动化设计、SVO逻辑

所属期刊栏目：55

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

资助基金：国家高技术研究发展计划863计划2008AA01ZA04;国家自然科学基金90718006;60743003;教育部高等学校博士学科点专项科研基金20070486107

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

页数：共4页

页码：89-92