一种安全协议分析算法研究

• 作者: 孙乐昌 揭摄 陈建熊
• 来源期刊: 科技与创新
• 关键词: 安全协议 串空间 Athena算法 模型检测
• 年，卷（期）: 2009,（12）
• 所属期刊栏目: 信息安全
• 页码范围: 98-100
• 页数: 3页
• 分类号: TP309.2
• 语种: 中文
• DOI: 10.3969/j.issn.1008-0570.2009.12.041

摘要

研究分析了Athena自动协议形式化分析算法的原理.该算法能够分析协议的各种安全属性,它基于扩展了的串空间模型,利用了消息间的因果关系,并且结合了定理证明和模型检测方法,能有效地分析安全协议的各种安全属性.在此基础上,完整地分析了ISO/IEC DIS 11770-3中提出的Helsinki协议的认证属性,分析得出该协议是有安全缺陷的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈建熊	合肥合肥电子工程学院网络工程系	1	0	0.0	0.0
2	孙乐昌	合肥合肥电子工程学院网络工程系	1	0	0.0	0.0
3	揭摄	合肥合肥电子工程学院网络工程系	1	0	0.0	0.0