929 search results - page 3 / 186 » Modeling and Verifying Ad Hoc Routing Protocols |
AINA
2008
IEEE
14 years 14 days ago
2008
IEEE
An ad hoc network is a highly dynamic routing network cooperated by a set of wireless mobile nodes without any assistance of centralized access point. ARIADNE is a well-known secu...
ICCCN
1998
IEEE
13 years 10 months ago
1998
IEEE
We evaluate several routing protocols for mobile, wireless, ad hoc networks via packet level simulations. The protocol suite includes routing protocols specifically designed for a...
WWIC
2007
Springer
14 years 3 days ago
2007
Springer
Vehicular ad-hoc networks (VANETs) offer a large number of new potential applications without relying on significant infrastructure. Many of these applications benefit from multi-h...
INFOCOM
2006
IEEE
14 years 22 hour ago
2006
IEEE
— We use a mathematical model based on Brownian motion to analyze the performance of Last Encounter Routing (LER), a routing protocol for ad hoc networks. Our results show that, ...
SASN
2003
ACM
13 years 11 months ago
2003
ACM
The purpose of this work is to automate the analysis of ad hoc routing protocols in the presence of attackers. To this end, a formal model of protocol behavior is developed in whi...