针对协议组合问题的Athena方法扩展

• 作者: 李超 董荣胜 郭云川
• 来源期刊: 桂林电子科技大学学报
• 学科: 工学
• 关键词: Athena方法 串空间 混合串空间 组合协议
• 年，卷（期）: 2007,（4）
• 所属期刊栏目: 学术论文
• 页码范围: 274-278
• 页数: 5页
• 分类号: TP309
• 字数: 5410字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-808X.2007.04.005

摘要

针对安全协议形式化分析领域的五个公开问题之一的协议的组合性问题,选用并扩展了Athena分析方法,以求对组合协议进行自动分析.通过扩展了串、丛的概念以及逻辑和状态表示法,以描述多个协议的运行.考虑到从协议对主协议的影响,引入了串空间中理想的概念,给出了其自动生成算法,并扩展了后继状态函数.最后运用扩展后的Athena方法对Neuman Stubblebine协议进行了分析,发现协议I部分对协议I部分存在有攻击,相应给出了攻击路径.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李超	桂林电子科技大学计算机与控制学院	155	838	13.0	19.0
3	董荣胜	桂林电子科技大学计算机与控制学院	115	1521	13.0	37.0
4	郭云川	桂林电子科技大学计算机与控制学院	25	119	8.0	10.0