677 search results - page 21 / 136 » Automatized Verification of Ad Hoc Routing Protocols |
ESAS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In this paper, we propose a framework for the security analysis of on-demand, distance vector routing protocols for ad hoc networks, such as AODV, SAODV, and ARAN. The pr...
IJNM
2008
13 years 8 months ago
2008
Routing protocols for mobile ad hoc networks (MANETs) have been an active area of research for the last decade, with many very interesting potential as well as actual applications...
INFOCOM
2002
IEEE
14 years 1 months ago
2002
IEEE
Abstract—A Quality-of-Service (QoS) routing protocol is developed for mobile ad hoc networks. It can establish QoS routes with reserved bandwidth on a per flow basis in a networ...
VTC
2008
IEEE
14 years 3 months ago
2008
IEEE
—Vehicle-to-vehicle and vehicle-to-infrastructure wireless communications are currently under development to improve traffic efficiency and safety. Routing protocols enabling mul...
INFOCOM
2003
IEEE
14 years 2 months ago
2003
IEEE
Abstract— Traditionally, reliable multicast protocols are deterministic in nature. It is precisely this determinism that tends to become their limiting factor when aiming at reli...