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

An Automated Design Method for Key Assignment Protocol

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

By introducing of the natural law of survival of the fittest,an improved method of automatically designing cryptographic protocols is proposed.This method applies SVO logic as a basic tool to describe protocols,constructs a fitness function to assess the performance of individuals systematically and designs a key agreement protocol to meet the corresponding objectives for security.The result shows that： as the generation,the protocol has been verified concurrently when it is generated,to ensure its correctness and security.So the method has a strong feasibility and applicability.