MANET安全路由协议自动化分析

• 作者: 毛立强 黄影
• 来源期刊: 西安电子科技大学学报（自然科学版）
• 学科: 工学
• 关键词: 路由协议 形式化分析 SPIN 模拟模型
• 年，卷（期）: 2016,（6）
• 页码范围: 56-61
• 页数: 6页
• 分类号: TP393.04
• 字数: 4609字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-2400.2016.06.010

摘要

移动ad hoc网络安全路由协议已经成为一个热门的研究领域,其中协议的安全性分析方法及其自动化实现倍受关注.利用SPIN工具自动分析了SRP和Ariadne协议,首先通过网络拓扑建模和自动生成,可以全面分析在不同网络拓扑下协议的安全性.再通过节点丢弃攻击和协议建模,自动发现了针对协议的有效攻击,证明基于模型检测及SPIN工具自动分析安全路由协议的方法是有效的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄影	西安文理学院数学与计算机工程学院	16	7	2.0	2.0
2	毛立强	西安电子科技大学计算机学院	45	66	5.0	8.0