摘要
通过引入优胜劣汰的自然规律,提出了改进的基于演化计算的密码协议自动化设计方法。该方法采用模态逻辑作为描述协议的基本工具,重点改进了衡量安全协议个体性能的评估函数,以求获得全局最优解。实验结果显示,该方法能保证所设计协议的正确性和安全性,具有较强的可行性和适用性。
By the introduction of the natural law of survival of the fittest, an improved method of automatically designing cryptographic protocols was proposed. This method regards BAN-like logic as a basic tool to describe them, construct a fitness function to assess the performance of individuals systematically in order to reach the best solutions. The result shows the method can assure correctness and security of the designed protocol. Furthermore, it has a strong feasibility and applicability.
出处
《通信学报》
EI
CSCD
北大核心
2008年第10期19-24,共6页
Journal on Communications
基金
国家自然科学基金资助项目(90718006
60743003)
国家高技术研究发展计划("863"计划)基金资助项目(2008AA01Z404)
国家重点基础研究发展计划("973"计划)基金资助项目(2007CB310801)~~
关键词
远程证明
认证协议
演化计算
BAN逻辑
remote attestation
verification protocol
evolution computing
BAN-like logic
