Cart (Loading....) | Create Account
Close category search window
 

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)
Xiong, C. ; Dept. of Comput. Sci., Illinois Univ., Chicago, IL, USA ; Murata, T. ; Leigh, J.

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

Need Help?


IEEE Advancing Technology for Humanity About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies

A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2014 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.