| 一种密钥协商协议的自动化设计方法 |
| |
| 引用本文： | 李松,王丽娜,余荣威,匡波.一种密钥协商协议的自动化设计方法[J].武汉大学学报(理学版),2009,55(1). |
| |
| 作者姓名： | 李松 王丽娜 余荣威 匡波 |
| |
| 作者单位： | 1. 武汉大学计算机学院/空天信息安全与可信计算教育部重点实验室,湖北,武汉,430072;中国人民解放军75742部队,广东,广州,510510
2. 武汉大学计算机学院/空天信息安全与可信计算教育部重点实验室,湖北,武汉,430072 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划)，国家自然科学基金，教育部高等学校博士学科点专项科研基金 |
| |
| 摘 要： | 通过引入优胜劣汰的自然规律,提出了一种改进的基于演化计算的安全协议自动化设计方法.该方法采用SVO逻辑作为描述协议的基本工具,给出了能全面衡量安全协议个体性能的评估函数,并据此理论设计出一种满足安全目标的密钥协商协议,保证了最终生成协议为最优解.实验结果显示:由于在协议生成过程中,同时进行了该协议的安全验证,能很好地保证所涉及协议的正确性和安全性.表明该方法具有较强的可行性和适用性.
|
| 关 键 词： | 安全协议 演化计算 自动化设计 SVO逻辑 |
An Automated Design Method for Key Assignment Protocol |
| |
| LI Song,WANG Lina,YU Rongwe,KUANG Bo.An Automated Design Method for Key Assignment Protocol[J].JOurnal of Wuhan University:Natural Science Edition,2009,55(1). |
| |
| Authors: | LI Song WANG Lina YU Rongwe KUANG Bo |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
