353 search results - page 3 / 71 » Securing Distance-Vector Routing Protocols |
190
Voted
JACM
2002
15 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: ...
207
Voted
MOBICOM
1999
ACM
15 years 10 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 ...
160
click to vote
JNW
2008
15 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...
178
Voted
ACSC
2007
IEEE
16 years 4 days 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
15 years 10 months ago
1999
ACM