Correctness properties for internet routing

43rd Annual Allerton Conference on Communication, Control and Computing 2005

Volumn 3, Issue , 2005, Pages 1279-1288

  Feamster, Nick ^a   Balakrishnan, Hari ^b  

^a Georgia Institute of Technology   (United States)

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

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

References (27)

1. A. Basu et al. Route Oscillations in IBGP with Route Reection. In Proc. ACM SIGCOMM, pages 235-247, Pittsburgh, PA, Aug. 2002.
2. O. Bonaventure, S. Uhlig, and B. Quoitin. The Case for More Versatile BGP Route Reec- tors. Internet Engineering Task Force, July 2004. http://totem.info.ucl.ac.be/publications/ draft-bonaventure-bgp-route-reflectors-00.html Work in progress, expired November 2004.
3. M. Caesar, D. Caldwell, N. Feamster, J. Rexford, A. Shaikh, and K. van der Merwe. Design and Imple- mentation of a Routing Control Platform. In Proc. 2nd Symposium on Networked Systems Design and Implemen- tation (NSDI), pages 15-28, Boston, MA, May 2005.
4. B. Davie and Y. Rekhter. MPLS: Technology and Appli- cations. Academic Press, San Diego, CA, 2000.
5. R. Dube. A Comparison of Scaling Techniques for BGP. ACM Computer Communications Review, 29 (3): 44-46, July 1999.
6. D. Farinacci, T. Li, S. Hanks, D. Meyer, and P. Traina. Generic Routing Encapsulation (GRE). Internet Engi- neering Task Force, Mar. 2000. RFC 2784.
7. N. Feamster. Proactive Techniques for Correct and Pre- dictable Internet Routing. PhD thesis, Massachusetts In- stitute of Technology, Feb. 2006.
8. N. Feamster and H. Balakrishnan. Detecting BGP Con- figuration Faults with Static Analysis. In Proc. 2nd Sym- posium on Networked Systems Design and Implementa- tion (NSDI), pages 43-56, Boston, MA, May 2005.
9. N. Feamster, H. Balakrishnan, J. Rexford, A. Shaikh, and K. van der Merwe. The Case for Separating Routing from Routers. In ACM SIGCOMM Workshop on Future Directions in Network Architecture, pages 5-12, Portland, OR, Sept. 2004.
10. N. Feamster, J. Borkenhagen, and J. Rexford. Guide- lines for Interdomain Traffic Engineering. ACM Com- puter Communications Review, 33 (5): 19-30, Oct. 2003.
11. N. Feamster, R. Johari, and H. Balakrishnan. The Impli- cations of Autonomy for Stable Policy Routing. In Proc. ACM SIGCOMM, pages 25-36, Philadelphia, PA, Aug. 2005.
12. N. Feamster and J. Rexford. Modeling BGP route se- lection within an AS. IEEE/ACM Transactions on Net- working. To appear. Earlier version appears in ACM SIG- METRICS 2004.
13. V. Fuller, T. Li, J. Yu, and K. Varadhan. Classless Inter- Domain Routing (CIDR): an Address Assignment and Aggregation Strategy. Internet Engineering Task Force, Sept. 1993. RFC 1519.
14. T. Griffin, F. B. Shepherd, , and G. Wilfong. The Stable Paths Problem and Interdomain Routing. IEEE/ACM Transactions on Networking, 10 (1): 232-243, 2002.
15. T. Griffin and G. Wilfong. A Safe Path Vector Proto- col. In Proc. IEEE INFOCOM, pages 490-499, Tel Aviv, Israel, Mar. 2000.
16. T. Griffin and G. Wilfong. On the Correctness of IBGP Configuration. In Proc. ACM SIGCOMM, pages 17-29, Pittsburgh, PA, Aug. 2002.
17. C. Labovitz, A. Ahuja, A. Bose, and F. Jahanian. De- layed Internet Routing Convergence. IEEE/ACM Trans- actions on Networking, 9 (3): 293-306, June 2001.
18. R. Mahajan, D. Wetherall, and T. Anderson. Under- standing BGP Misconfiguration. In Proc. ACM SIG- COMM, pages 3-17, Pittsburgh, PA, Aug. 2002.
19. Z. M. Mao, R. Govindan, G. Varghese, and R. Katz. Route Flap Damping Exacerbates Internet Routing Con- vergence. In Proc. ACM SIGCOMM, pages 221-233, Pittsburgh, PA, Aug. 2002.
20. D. McPherson, V. Gill, D. Walton, and A. Retana. Bor- der Gateway Protocol (BGP) Persistent Route Oscilla- tion Condition. Internet Engineering Task Force, Aug. 2002. RFC 3345.
21. Multiprotocol Label Switching (MPLS). http://www. ietf.org/html.charters/mpls-charter.html.
22. S. Murphy, A. Barbir, and Y. Yang. Generic Threats to Routing Protocols. Internet Engineering Task Force, Oct. 2004. http://www.ietf.org/internet-drafts/ draft-ietf-rpsec-routing-threats-07.txt, expired April 2005.
23. Y. Rekhter and T. Li. An Architecture for IP Address Allocation with CIDR. Internet Engineering Task Force, Sept. 1993. RFC 1518.
24. Y. Rekhter and T. Li. A Border Gateway Protocol 4 (BGP-4). Internet Engineering Task Force, Mar. 1995. RFC 1771.
25. Y. Rekhter, T. Li, and S. Hares. A Border Gateway Protocol 4 (BGP-4). Internet Engineering Task Force, Oct. 2004. http://www.ietf.org/internet-drafts/ draft-ietf-idr-bgp4-26.txt Work in progress, expired April 2005.
26. L. Subramanian, M. Caesar, C. T. Ee, M. Handley, M. Mao, S. Shenker, and I. Stoica. HLP: A Next- generation Interdomain Routing Protocol. In Proc. ACM SIGCOMM, Philadelphia, PA, Aug. 2005.
27. M. Vutukuru, P. Valiant, S. Kopparty, and H. Balakr- ishnan. How to Construct a Correct and Scalable iBGP Configuration. Technical Report MIT-LCS-TR-996, MIT Computer Science and Artificial Intelligence Laboratory, Aug. 2005. http://www.lcs.mit.edu/publications/ specpub.php?id=1787.