3 search results - page 1 / 1 » Routing Information Protocol in HOL SPIN |
TPHOL
2000
IEEE
13 years 9 months ago
2000
IEEE
We provide a proof using HOL and SPIN of convergence for the Routing Information Protocol (RIP), an internet protocol based on distance vector routing. We also calculate a sharp re...
JACM
2002
13 years 4 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: ...
ICIP
2002
IEEE
14 years 6 months ago
2002
IEEE
In this paper, we propose and analyze a routing protocol for mobile ad hoc networks that supports efficient image retrieval based on metadata queries. In digital photography, meta...