李松
- 作品数：2 被引量：0H指数：0
- 供职机构：中国人民解放军75742部队更多>>
- 发文基金：国家教育部博士点基金国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 一种密钥协商协议的自动化设计方法
- 2009年
- 通过引入优胜劣汰的自然规律,提出了一种改进的基于演化计算的安全协议自动化设计方法.该方法采用SVO逻辑作为描述协议的基本工具,给出了能全面衡量安全协议个体性能的评估函数,并据此理论设计出一种满足安全目标的密钥协商协议,保证了最终生成协议为最优解.实验结果显示:由于在协议生成过程中,同时进行了该协议的安全验证,能很好地保证所涉及协议的正确性和安全性,表明该方法具有较强的可行性和适用性.
- 李松王丽娜余荣威匡波
- 关键词：安全协议自动化设计SVO逻辑
- 一种密钥协商协议的自动化设计方法
- 通过引入优胜劣汰的自然规律,提出了一种改进的基于演化计算的安全协议自动化设计方法。该方法采用SVO逻辑作为描述协议的基本工具,给出了能全面衡量安全协议个体性能的评估函数,并据此理论设计出一种满足安全目标的密钥协商协议,保...
- 李松王丽娜余荣威匡波
- 关键词：安全协议密钥协商协议自动化设计SVO逻辑
- 文献传递
