353 search results - page 3 / 71 » Securing Distance-Vector Routing Protocols |
JACM
2002
13 years 5 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 9 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 5 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
13 years 12 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 9 months ago
1999
ACM