论文部分内容阅读
为了能够对Ad Hoc网络安全路由协议进行有效的安全性证明，需要形式化的分析方法。针对目前缺乏有效方法的现状，结合Ad Hoc网络安全路由协议特点，利用图论理论，对传统安全协议分析方法Mead—ows模型进行扩展，扩展后的Meadows模型具有了路由描述和分析能力。使用扩展后的Meadows模型对Ad Hoc网络安全路由协议Ariadne进行了分析。分析结果显示，Ariadne协议存在产生虚假路由的漏洞，从而也说明了扩展后的Meadows模型能够用于Ad Hoc网络安全路由协议的安全性分析。