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

Security Analysis of Secure Routing Protocols for Ad Hoc Networks Based on Improved Meadows Model

作　　者：刘晶[1] 伏飞[2] 肖军模[1] 

机构地区：[1]解放军理工大学通信工程学院,江苏南京210007 [2]解放军理工大学指挥自动化学院,江苏南京210007

出　　处：《应用科学学报》2008年第3期250-256,共7页Journal of Applied Sciences

基　　金：国家自然科学基金(No.69931040);总装十一五预研项目(No.41101040402)资助项目

摘　　要：目前,Ad hoc网络安全路由协议缺乏有效的形式化分析方法.通过添加基于图论的路由描述和分析方法,文章扩展了Meadows模型的分析能力.使用扩展后的Meadows模型对Ad hoc网络安全路由协议Ariadne进行了分析,分析结果显示Ariadne协议存在产生虚假路由的漏洞,从而也说明了扩展后的Meadows模型能够用于Ad hoc网络安全路由协议的安全性分析.Many secure routing protocols for Ad Hoc methods are available. Although Meadows model is a networks have been proposed so far, but few formal analysis well-known cryptographic analysis method, it is unsuitable for Ad Hoc network secure routing protocols because it lacks ability to describe and analyze routing. By adding routing description and analysis scheme based on graphic theory, we extend the Meadows model to have the analysis ability. The extended Meadows model can analyze secure routing protocols for ad hoc networks. As an example, the ex- tended model is used to analyze the routing protocol, Ariadne, and the result shows that Ariadne can generate fault routing.

关 键 词：Ad HOC网络 安全路由协议 形式化分析 

分 类 号：TN918.1[电子电信—通信与信息系统]