Paper Info
Title
Ad hoc routing protocol verification through broadcast abstraction
Abstract
We present an improved method for analyzing route establishment in ad hoc routing protocols. An efficient abstraction for Propagating Localized Broadcast with Dampening (PLBD) is developed. Applying this result we are able to verify networks and topology changes for ad hoc networks up to the limits currently envisaged for operational mobile ad hoc networks (MANETS). Results are reported for route discovery in the Lightweight Underlay Network Ad hoc Routing protocol (LUNAR) using UPPAAL and we provide an outline of how similar verifications can be conducted for DSR.
Year
DOI
Venue
2005
10.1007/11562436_11
FORTE
Keywords
Field
DocType
broadcast abstraction,routing protocol,efficient abstraction,route discovery,similar verification,topology change,localized broadcast,improved method,lightweight underlay network ad,route establishment,protocol verification,model checking,routing protocols,mobile ad hoc network,ad hoc network,computer science,mobile ad hoc networks,formal verification
Mobile ad hoc network,Dynamic Source Routing,Computer science,Computer network,Wireless Routing Protocol,Ad hoc wireless distribution service,Adaptive quality of service multi-hop routing,Optimized Link State Routing Protocol,Wireless ad hoc network,Vehicular ad hoc network,Distributed computing
Conference
Volume
ISSN
ISBN
3731
0302-9743
3-540-29189-X
Citations 
PageRank 
References 
9
0.51
8
Authors
3
Name
Order
Citations
PageRank
Oskar Wibling1873.68
Joachim Parrow23213368.44
Arnold Pears330034.58