扩展Meadows模型分析Ad Hoc网络路由协议安全性

• 作 者: 刘晶 伏飞 肖军模
• 机 构: 解放军理工大学通信工程学院,解放军理工大学指挥自动化学院
• 出 处: 应用科学学报
• 发表日期: 2008年3期
• 关键词: Ad HOC网络 安全路由协议 形式化分析 Ad Hoc networks secure routing protocols formal analysis

目前，Ad hoc网络安全路由协议缺乏有效的形式化分析方法．通过添加基于图论的路由描述和分析方法，文章扩展了Meadows模型的分析能力．使用扩展后的Meadows模型对Ad hoc网络安全路由协议Ariadne进行丁分析，分析结果显示Ariadne协议存在产生虚假路由的漏洞，从而也说明了扩展后的Meadows模型能够用于Ad hoc网络安全路由协议的安全性分析．