English

应用科学学报

• 论文 • 上一篇    下一篇

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

刘 晶1，伏 飞2，肖军模1   

  1. 1．解放军理工大学 通信工程学院，江苏 南京 210007;
    2．解放军理工大学 指挥自动化学院，江苏 南京 210007
  • 收稿日期:2007-12-17 修回日期:2008-02-28 出版日期:2008-05-31 发布日期:2008-05-31

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

LIU Jing 1，FU Fei 2，XIAO Jun-mo 1   

  1. 1. Institute of Communication Engineering, PLA University of Science and Technology, Nanjing 210007, China;
    2. Institute of Command Automation, PLA University of Science and Technology, Nanjing 210007, China
  • Received:2007-12-17 Revised:2008-02-28 Online:2008-05-31 Published:2008-05-31

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

关键词: Ad Hoc网络, 安全路由协议, 形式化分析

Abstract: Many secure routing protocols for ad hoc networks have been proposed so far, but few formal analysis methods are available. Although Meadows model is a 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 extended model is used to analyze the routing protocol, Ariadne, and the result shows that Ariadne can generate fault routing.

Key words:

Ad Hoc networks, secure routing protocols, formal analysis