677 search results - page 2 / 136 » Automatized Verification of Ad Hoc Routing Protocols |
ANTSW
2008
Springer
13 years 6 months ago
2008
Springer
Design and development of routing protocols for Mobile Ad Hoc Networks (MANETs) is an active area of research. The standard practice among researchers working in this emerging doma...
SIGMETRICS
2000
ACM
13 years 4 months ago
2000
ACM
Ad hoc wireless networks are new communication networks that can be dynamically formed and deformed onthe- y, anytime and anywhere. User data is routed with the help of an ad hoc ...
COMCOM
2002
13 years 4 months ago
2002
In this paper, we propose a new protocol for wireless mobile ad hoc communications, which establishes a dynamic wireless mobile infrastructure to mimic and maintain the operation ...
CCS
2008
ACM
13 years 6 months ago
2008
ACM
Multi-hop routing is essential to the operation of wireless ad hoc networks. Unfortunately, it is very easy for an adversary to forge or modify routing messages to inflict severe ...
ADHOCNOW
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. This paper gives a simple continuum model for generic proactive routing protocols in a mobile ad-hoc network. Rate constants characterize the routing protocol and the net...