中文

Journal of Applied Sciences

• Articles • Previous Articles     Next Articles

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

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