摘要: 目前,Ad hoc网络安全路由协议缺乏有效的形式化分析方法。通过添加基于图论的路由描述和分析方法,文章扩展了Meadows模型的分析能力。使用扩展后的Meadows模型对Ad hoc网络安全路由协议Ariadne进行了分析,分析结果显示Ariadne协议存在产生虚假路由的漏洞,从而也说明了扩展后的Meadows模型能够用于Ad hoc网络安全路由协议的安全性分析。
刘 晶;伏 飞;肖军模. 扩展Meadows模型分析Ad Hoc网络路由协议安全性 [J]. 应用科学学报.
LIU Jing;FU Fei;XIAO Jun-mo . Security Analysis of Secure Routing Protocols for Ad Hoc Networks Based on Improved Meadows Model
[J]. Journal of Applied Sciences.