面向远程证明的安全协议设计方法

摘要：

通过引入优胜劣汰的自然规律,提出了改进的基于演化计算的密码协议自动化设计方法.该方法采用模态逻辑作为描述协议的基本工具,重点改进了衡量安全协议个体性能的评估函数,以求获得全局最优解.实验结果显示,该方法能保证所设计协议的正确性和安全性,具有较强的可行性和适用性.

关键词：远程证明、认证协议、演化计算、BAN逻辑

所属期刊栏目：29

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

资助基金：国家自然科学基金资助项目90718006,60743003;国家高技术研究发展计划"863"计划基金资助项目2008AA01ZA04:国家重点基础研究发展计划"973"计划基金资助项目2007CB310801

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

页数：共6页

页码：19-24