安全协议验证模型的高效自动生成

• 作者: 刘俏威 吴昌 熊昊 罗敏 肖美华
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 安全协议 模型检测 简单进程元语言解释器 状态爆炸
• 年，卷（期）: 2010,（2）
• 所属期刊栏目: 网络、通信、安全
• 页码范围: 79-82
• 页数: 4页
• 分类号: TP393.08
• 字数: 3951字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2010.02.025

摘要

为了能高效地利用模型检测技术对安全协议进行分析与验证,提高工作效率,提出了一种适用范围广,自动化程度及验证效率均较高的建模算法.开发了一个基于该建模算法"网络安全协议验证模型生成系统",该系统可高效地对安全协议进行分析与验证,系统在对攻击者建模时采用偏序规约、语法重定序及类型检查等优化策略以提高验证效率,有效地缓解了模型检测过程中的状态爆炸问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	肖美华	南昌大学信息工程学院	27	313	8.0	17.0
2	罗敏		19	73	6.0	7.0
3	刘俏威	南昌大学信息工程学院	3	9	1.0	3.0
4	吴昌	南昌大学信息工程学院	2	18	2.0	2.0
5	熊昊	南昌大学信息工程学院	3	8	1.0	2.0