DMCA
Ad Hoc Routing Protocol Verification Through Broadcast Abstraction
| Citations: | 4 - 0 self |
BibTeX
@MISC{Wibling_adhoc,
author = {Oskar Wibling and Joachim Parrow and Arnold Pears},
title = {Ad Hoc Routing Protocol Verification Through Broadcast Abstraction},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
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.
Keyphrases
ad hoc routing protocol verification broadcast abstraction operational mobile ad hoc network route discovery topology change improved method route establishment similar verification ad hoc routing protocol efficient abstraction lightweight underlay network ad hoc localized broadcast ad hoc
