353 search results - page 3 / 71 » Securing Distance-Vector Routing Protocols |
JACM
2002
13 years 7 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
MOBICOM
1999
ACM
13 years 11 months ago
1999
ACM
An ad-hoc network is the cooperative engagement of a collection of typically wireless mobile nodes without the required intervention of any centralized access point or existing ...
JNW
2008
13 years 7 months ago
2008
-Recently multicast routing protocols in Mobile Ad-hoc Networks (MANETs) are emerging for wireless group communication. This includes application such as multipoint data disseminat...
ACSC
2007
IEEE
14 years 1 months ago
2007
IEEE
Wireless Mesh Networks (WMNs) have recently gained increasing attention and have emerged as a technology with great potential for a wide range of applications. WMNs can be conside...
SAC
1999
ACM
13 years 11 months ago
1999
ACM