Analyses of the reverse path forwarding routing algorithm

Proceedings of the International Conference on Dependable Systems and Networks

Volumn , Issue , 2004, Pages 485-494

  Bolton, Christie ^a   Lowe, Gavin ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMMUNICATION SYSTEMS; COST EFFECTIVENESS; ERROR ANALYSIS; NETWORK PROTOCOLS; PACKET NETWORKS; SAMPLING;

RE-BROADCASTING; REVERSE PATH FORWARDING (RPF); ROUTING ALGORITHMS;

ROUTERS;

EID: 4544246910     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/dsn.2004.1311918     Document Type: Conference Paper

References (10)

1. Y. K. Dalal and R. M. Metcalfe, "Reverse path forwarding of broadcast packets," Communications of the ACM, vol. 21, no. 12, pp. 1040-1048, 1978.
2. R. Perlman, Interconnections: Bridges and Routers. Addison-Wesley, 1992.
3. A. W. Roscoe, "Model-checking CSP," in A Classical Mind, Essays in Honour of C. A. R. Hoare. Prentice-Hall, 1994.
4. C. A. R. Hoare, Communicating Sequential Processes. Prentice Hall, 1985.
5. A. W. Roscoe, The Theory and Practice of Concurrency. Prentice Hall, 1997.
6. D. Jackson, I. Shlyakhter, and M. Sridharan, "A micromodularity mechanism," in Proceedings of the ACM SIGSOFT Conference on Foundations of Software Engineering/European Software Engineering Conference (FSE/ESEC '01), 2001.
7. C. Bolton and G. Lowe, "Reverse path forwarding," Oxford University Computing Laboratory, Tech. Rep., 2003, Available at http://web.comlab.ox.ac.uk/oucl/work/gavin.lowe/ Papers/RPF.ps.
8. E. M. Clarke, O. Grumberg, and D. Peled, Model Checking. MIT Press, 2000.
9. W. Steiner, J. Rushby, M. Sorea, and H. Pfeifer, "Model checking a fault-tolerant startup algorithm: From design exploration to exhaustive fault simulation," in Proceedings of the International Conference on Dependable Systems and Networks (DSN '04), 2004.
10. J. M. Spivey, The Z Notation: a Reference Manual. Prentice-Hall International, 1992.