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

• 作者: 余荣威 匡波 王丽娜
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: 远程证明 认证协议 演化计算 BAN逻辑
• 年，卷（期）: 2008,（10）
• 所属期刊栏目: 学术论文
• 页码范围: 19-24
• 页数: 6页
• 分类号: TP309
• 字数: 4369字
• 语种: 中文
• DOI: 10.3321/j.issn:1000-436X.2008.10.004

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王丽娜	武汉大学计算机学院	133	1680	20.0	36.0
5	余荣威	武汉大学计算机学院	15	118	6.0	10.0
6	匡波	武汉大学计算机学院	1	6	1.0	1.0