929 search results - page 8 / 186 » Modeling and Verifying Ad Hoc Routing Protocols |
ADHOCNOW
2006
Springer
14 years 1 months ago
2006
Springer
In this paper, we outline a simple approach, called ROAR, that enables the Ad-Hoc On-Demand Distance Vector (AODV) routing protocol to strengthen its routes by recruiting neighbors...
AINA
2006
IEEE
13 years 11 months ago
2006
IEEE
Due to the nature of radio transmissions, communications in wireless networks are easy to capture and analyze. Next to this, privacy enhancing techniques (PETs) proposed for wired...
SEFM
2008
IEEE
14 years 2 months ago
2008
IEEE
We present a process algebra for modeling and reasoning about Mobile Ad hoc Networks (MANETs) and their protocols. In our algebra we model the essential modeling concepts of ad ho...
EUC
2006
Springer
13 years 11 months ago
2006
Springer
In mobile ad hoc networks, mobile devices wander autonomously for the use of wireless links and dynamically varying network topology. AODV (Ad-hoc on-demand Distance vector routing...
RAID
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Attack analysis is a challenging problem, especially in emerging environments where there are few known attack cases. One such new environment is the Mobile Ad hoc Networ...