TMN密码协议的SMV分析

• 作者: 冯登国 张玉清 邢戈
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 运行模式分析法 TMN协议 SMV
• 年，卷（期）: 2005,（8）
• 所属期刊栏目: 基金项目论文
• 页码范围: 49-51,98
• 页数: 4页
• 分类号: TP309
• 字数: 4773字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2005.08.019

摘要

SMV是分析有限状态系统的一种工具,三方密码协议运行模式分析法是分析密码协议的有效方法之一.为了说明这种方法的可行性,使用三方密码协议运行模式分析法,并借助状态探测工具SMV分析了TMN密码协议,并成功地找到了对TMN协议的19种攻击.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张玉清	中国科学院研究生院信息安全国家重点实验室	147	3010	26.0	50.0
2	冯登国	中国科学院研究生院信息安全国家重点实验室	243	6305	35.0	71.0
3	邢戈	中国科学院研究生院信息安全国家重点实验室	5	103	4.0	5.0