基于进化规划的网络安全协议的自动生成

• 作者: 孙王华 杨谨 申普兵
• 来源期刊: 现代电子技术
• 关键词: 安全协议 BAN逻辑 进化规划 自动生成
• 年，卷（期）: 2008,（13）
• 所属期刊栏目: 信息安全
• 页码范围: 86-89
• 页数: 4页
• 分类号: TP309
• 语种: 中文
• DOI: 10.3969/j.issn.1004-373X.2008.13.029

摘要

提出了基于进化规划的安全协议生成方法,并用BAN逻辑来描述和验证协议,为进一步提高协议生成效率,降低协议消息的冗余度,加入了协议优化模块.该方法具有较高的扩展性,对于不同的需求,可以生成不同的安全协议.实验表明,本文方法能够成功、高效地生成安全协议,保证所生成协议的安全性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	申普兵		25	111	5.0	10.0
2	孙王华		2	3	1.0	1.0
3	杨谨		1	0	0.0	0.0