Network Routing with Path Vector Protocols: Theory and Applications

Computer Communication Review

Volumn 33, Issue 4, 2003, Pages 49-60

  Sobrinho, João Luís ^a  

^a INSTITUTO SUPERIOR TÉCNICO   (Portugal)

Author keywords

Algebra; BGP; Border Gateway Protocol; Path Vector Protocols

Indexed keywords

ALGEBRA; ALGORITHMS; GRAPHIC METHODS; MATHEMATICAL MODELS; NETWORK PROTOCOLS; PROBLEM SOLVING; ROBUSTNESS (CONTROL SYSTEMS); SIGNALING; TOPOLOGY; VECTORS;

BORDER GATEWAY PROTOCOL (BGP); PATH VECTOR PROTOCOLS; ROUTING PROTOCOL;

INTERNET;

EID: 1242332573     PISSN: 01464833     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

1. M. Blanchet, F. Parent, and B. St-Arnaud. Optical BGP (OBGP): Inter AS lightpath provisioning. Internet draft draft-parent-obgp-01.txt, January 2001.
2. J. Doyle. Routing TCP/IP. Cisco Press, Indianapolis, IN, 1998. ISBN 1-57870-041-8.
3. L. Gao, T. Griffin, and J. Rexford. Inherently safe backup routing with BGP. In Proc. INFOCOM 2001, pages 547-556, Anchorage, AK, April 2001.
4. L. Gao and J. Rexford. Stable Internet routing without global coordination. IEEE/ACM Transactions on Networking, 9(6):681-692, December 2001.
5. R. Govindan, C. Alaettinoglu, G. Eddy, D. Kessens, S. Kumar, and W. S. Lee. An architecture for stable, analyzable Internet routing. IEEE Network, 13:29-35, January/February 1999.
6. T. Griffin, F. Shepherd, and G. Wilfong. Policy disputes in path-vector protocols. In Proc. 7th International Conference on Network Protocols, Toronto, Canada, November 1999.
7. T. Griffin, F. Shepherd, and G. Wilfong. The stable paths problem and interdomain routing. IEEE/ACM Transactions on Networking, 10(2):232-243, April 2002.
8. T. Griffin and G. Wilfong. On the correctness of IBGP configuration. In Proc. SIGCOMM 2002, pages 17-29, Pittsburgh, PA, August 2002.
9. B. Halabi. Internet Routing Architectures. Cisco Press, Indianapolis, IN, 1997. ISBN 1-56205-652-2.
10. G. Huston. Interconnections, peering and financial settlements. In Proc. INET'99, San Jose, CA, June 1999.
11. L. Lamport. An assertional correctness proof of a distributed algorithm. Science of Computer Programming, 2(3):175-206, December 1982.
12. L. Lamport. The temporal logic of actions. ACM Trans. on Programming Languages and Systems, 16(3):872-923, April 1994.
13. Y. Rekhter and T. Li. A Border Gateway Protocol 4 (BGP-4). RFC 1771, March 1995.
14. J. Rosenberg, H. Salma, and M. Squire. Telephony routing over IP (TRIP). RFC 3219, January 2002.
15. J. L. Sobrinho. Algebra and algorithms for QoS path computation and hop-by-hop routing in the internet. IEEE/ACM Transactions on Networking, 10(4):541-550, August 2002.
16. J. W. Stewart III. BGP4: Inter-Domain Routing in the Internet. Addison Wesley, Reading, MA, 1999. ISBN 0201379511.
17. L. Xiao, K. S. Lui, J. Wang, and K. Nahrstedt. QoS extension to BGP. In Proc. 10th International Conference on Network Protocols, Paris, France, November 2002.