By Topic

An approach for verifying routing protocols in mobile ad hoc networks using Petri nets

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
3 Author(s)
C. Xiong ; Dept. of Comput. Sci., Illinois Univ., Chicago, IL, USA ; T. Murata ; J. Leigh

This paper presents a verification approach specific for expressing and verifying the services of routing protocols for mobile ad hoc networks (MANETs). The proposed approach performs a powerful verification on routing protocols, and is sufficient to confirm correctness of protocols when used in most situations. The case study with a routing protocol for MANETs found a flaw in the protocol, showing the effectiveness of this approach.

Published in:

Emerging Technologies: Frontiers of Mobile and Wireless Communication, 2004. Proceedings of the IEEE 6th Circuits and Systems Symposium on  (Volume:2 )

Date of Conference:

31 May-2 June 2004