TMN协议的形式化分析

• 作者: 刘秀英 张玉清 杨波 邢戈
• 来源期刊: 西安电子科技大学学报(自然科学版)
• 学科: 工学
• 关键词: TMN协议 模型检测 密码协议 运行模式分析
• 年，卷（期）: 2004,（5）
• 页码范围: 785-790
• 页数: 6页
• 分类号: TP309
• 字数: 5540字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-2400.2004.05.031

摘要

利用运行模式分析法对TMN协议进行了全面的分析,发现了对它的10类19种攻击形式.根据攻击的具体形式和攻击中入侵者的目的对这些攻击进行了归类.结合已知攻击发现,在文中定义的小系统上运行模式分析法对TMN协议的分析是有效的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张玉清	中国科学院研究生院国家计算机网络入侵防范中心	147	3010	26.0	50.0
2	邢戈	中国科学院研究生院国家计算机网络入侵防范中心	5	103	4.0	5.0
3	杨波	西安电子科技大学综合业务网国家重点实验室	72	622	14.0	22.0
4	刘秀英	西安电子科技大学综合业务网国家重点实验室	2	15	2.0	2.0