DocumentCode
3294065
Title
An approach for verifying routing protocols in mobile ad hoc networks using Petri nets
Author
Xiong, Chaoyue ; Murata, Tadao ; Leigh, Jason
Author_Institution
Dept. of Comput. Sci., Illinois Univ., Chicago, IL, USA
Volume
2
fYear
2004
fDate
31 May-2 June 2004
Firstpage
537
Abstract
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.
Keywords
Petri nets; ad hoc networks; formal verification; mobile radio; network topology; routing protocols; MANET; Petri nets; mobile ad hoc networks; protocol verification; routing protocols; Broadcasting; Chaos; Delay; Formal verification; Intelligent networks; Mobile ad hoc networks; Petri nets; Routing protocols; Timing; Topology;
fLanguage
English
Publisher
ieee
Conference_Titel
Emerging Technologies: Frontiers of Mobile and Wireless Communication, 2004. Proceedings of the IEEE 6th Circuits and Systems Symposium on
Print_ISBN
0-7803-7938-1
Type
conf
DOI
10.1109/CASSET.2004.1321944
Filename
1321944
Link To Document