Abstract:

Secure routing protocol design and analysis is the core of the security problems in mobile ad hoc network.This paper uses strand space and BAN logic to prove plausible route property of secure mobile ad hoc network routing protocol. Our analysis indicates that security of mobile ad hoc network routing protocol is essentially based on agent authentication and message integrity between trusted nodes in the network, therefore traditional formal methods can also be used to analyze secure mobile ad hoc network routing protocols.

Key words: MANET, secure routing protocol, formal analysis, strand space