10.3969/j.issn.1001-2400.2016.06.010
MANET安全路由协议自动化分析
移动ad hoc网络安全路由协议已经成为一个热门的研究领域,其中协议的安全性分析方法及其自动化实现倍受关注.利用SPIN工具自动分析了SRP和Ariadne协议,首先通过网络拓扑建模和自动生成,可以全面分析在不同网络拓扑下协议的安全性.再通过节点丢弃攻击和协议建模,自动发现了针对协议的有效攻击,证明基于模型检测及SPIN工具自动分析安全路由协议的方法是有效的.
路由协议、形式化分析、SPIN、模拟模型
43
TP393.04(计算技术、计算机技术)
国家自然科学基金重点资助项目U1135002
2017-02-27（万方平台首次上网日期，不代表论文的发表时间）
共6页
56-61
