2162 search results - page 334 / 433 » A Meta-Notation for Protocol Analysis |
INFOCOM
2005
IEEE
15 years 3 months ago
2005
IEEE
— Slow convergence in the Internet can be directly attributed to the “path exploration” phenomenon, inherent in all path vector protocols. The root cause for path exploration...
INFOCOM
2005
IEEE
15 years 3 months ago
2005
IEEE
—The communication model typically assumed in wireless ad-hoc networks is based on a traditional “pipelined relay” (PR) strategy. In PR, an end-to-end flow has multiple outs...
SIGITE
2005
ACM
15 years 3 months ago
2005
ACM
This paper describes a novel approach to teaching computer networking through packet traces of actual network traffic. The paper describes a set of exercises that use packet trace...
SPAA
2005
ACM
15 years 3 months ago
2005
ACM
We study oblivious routing in which the packet paths are constructed independently of each other. We give a simple oblivious routing algorithm for geometric networks in which the ...
CISC
2005
Springer
15 years 3 months ago
2005
Springer
The formal analysis of cryptographic protocols has developed into a comprehensive body of knowledge, building on a wide variety of formalisms and treating a diverse range of securi...