Towards a logic for wide-area Internet routing

Proceedings of the ACM SIGCOMM Workshop on Future Directions in Network Architecture, FDNA '03

Volumn , Issue , 2003, Pages 289-300

  Feamster, Nick ^a   Balakrishnan, Hari ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

C.2.2 computer communication networks : routing protocols; Design; Performance; Protocol verification; Reliability

Indexed keywords

C.2.2 [COMPUTER-COMMUNICATION NETWORKS]: ROUTING PROTOCOLS; COMPUTER COMMUNICATION NETWORKS; DESIGN PERFORMANCE; DISTRIBUTED COMPUTING; FAILURE RESILIENCE; FAST CONVERGENCE; HIGH LEVEL POLICIES; INTERDOMAIN ROUTING; LOGICAL RULES; POLICY EXPRESSIONS; PROTOCOL DESIGNERS; PROTOCOL VERIFICATION; REACHABILITY; REAL-WORLD NETWORKS; ROUTER CONFIGURATION; SET OF RULES; SIDE EFFECT; TOPOLOGICAL INFORMATION; VARIOUS CONFIGURATION; WIDE AREA; WIDE-AREA INTERNET;

DESIGN; DISTRIBUTED COMPUTER SYSTEMS; HIGH LEVEL LANGUAGES; NETWORK ARCHITECTURE; ROUTERS; ROUTING PROTOCOLS;

INTERNET PROTOCOLS;

EID: 77953176553     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/944759.944767     Document Type: Conference Paper

References (40)

1. AGARWAL, S., CHUAH, C., AND KATZ, R. H. OPCA: Robust interdomain policy routing and traffic control. In IEEE Openarch (New York, NY, April 2003).
2. ANDERSEN, D. G., BALAKRISHNAN, H., KAASHOEK, M. F., AND MORRIS, R. Resilient Overlay Networks. In Proc. 18th ACM SOSP (Banff, Canada, Oct. 2001), pp. 131-145.
3. ANDERSEN, D. G., FEAMSTER, N., BAUER, S., AND BALAKRISHNAN, H. Topology Inference from BGP Routing Dynamics. In Proc. Internet Measurement Workshop (Marseille, France, 2002).
4. BARTAL, Y., MAYER, A., NISSIM, K., AND WOOL, A. Firmato: A novel firewall management toolkit. In IEEE Symposium on Security and Privacy (Oakland, CA, May 1999), pp. 17-31.
5. BEARD, D., ET AL. Known Threats to Routing Protocols. Internet Engineering Task Force, October 2002. http://www.ietf.org/internet-drafts/draft- beard-rpsec-routing-threats-00.txt.
6. BURROWS, M., ABADI, M., AND NEEDHAM, R. A logic of authentication. ACM Transactions on Computer Systems 8, 1 (February 1990), 18-36.
7. CANSTINEYRA, I., CHIAPPA, N., AND STEENSTRUP, M. The Nimrod Routing Architecture. Internet Engineering Task Force, August 1996. RFC 1992.
8. Cisco BGP commands. http://www.cisco.com/univercd/cc/td/doc/product/ software/ios113ed/cs/csprtn1/csbgp.htm.
9. Cisco BGP Best Path Selection Algorithm. http://www.cisco.com/warp/ public/459/25.shtml.
10. How BGP Routers Use the Multi-Exit Discriminator for Best Path Selection. http://www.cisco.com/warp/public/459/37.html.
11. DENNING, D. E. A lattice model of secure information flow. Communications of the ACM 19, 5 (May 1976), 236-243.
12. DUBE, R. A comparison of scaling techniques for BGP. ACM Computer Communications Review 29, 3 (July 1999), 44-46.
13. FARROW, R. Routing instability on the Internet. Network Magazine (March 4, 2002). http://www.networkmagazine.com/article/NMG20020304S0007/2.
14. FEAMSTER, N., AND REXFORD, J. Network-wide BGP route prediction for traffic engineering. In Proc. ITCOM (Boston, MA, August 2002).
15. GAO, L. On inferring automonous system relationships in the Internet. IEEE/ACM Transactions on Networking 9, 6 (December 2001), 733-745.
16. GAO, L., AND REXFORD, J. Stable Internet routing without global coordination. IEEE/ACM Transactions on Networking (December 2001), 681-692.
17. GOGUEN, J., AND MESEGUER, J. Unwinding and inference control. In Proc. IEEE Symposium on Security and Privacy (1984).
18. GOODELL, G., AIELLO, W., GRIFFIN, T., IOANNIDIS, J., MCDANIEL, P., AND RUBIN, A. Working around BGP: An incremental approach to improving security and accuracy in interdomain routing. In Proc. NDSS (San Diego, CA, February 2003).
19. GOVINDAN, R., ALAETTINOGLU, C., AND KANNAN VARADHAN, D. E. Route servers for inter-domain routing. Networks and ISDN Systems 30 (1998), 1157-1174.
20. GRIFFIN, T., AND WILFONG, G. An analysis of BGP convergence properties. In Proc. ACM SIGCOMM (Cambridge, MA, August 1999).
21. GRIFFIN, T., AND WILFONG, G. A safe path vector protocol. In Proc. INFOCOMM (March 2000).
22. GRIFFIN, T., AND WILFONG, G. Analysis of the MED oscillation problem in BGP. In Proc. ICNP (Paris, France, November 2002).
23. GRIFFIN, T., AND WILFONG, G. On the correctness of IBGP configuration. In Proc. ACM SIGCOMM (Pittsburgh, PA, August 2002).
24. GRIFFIN, T. G., AND PREMORE, B. J. An experimental analysis of BGP convergence time. In Proceedings of the 9th International Conference on Network Protocols (ICNP 2001) (Riverside, CA, November 2001).
25. GRIFFIN, T. G., SHEPHERD, F. B., , AND WILFONG, G. The stable paths problem and interdomain routing. IEEE Transactions on Networking 10, 1 (2002), 232-243.
26. KENT, S., LYNN, C., MIKKELSON, J., AND SEO, K. Secure border gateway protocol (S-BGP) - real world performance and deployment issues. In Proc. NDSS 2000 (2000).
27. LABOVITZ, C., AHUJA, A., BOSE, A., AND JAHANIAN, F. Delayed Internet Routing Convergence. IEEE/ACM Transactions on Networking 9, 3 (June 2001), 293-306.
28. LABOVITZ, C., MALAN, G. R., AND JAHANIAN, F. Origins of Internet routing instability. In Proc. Infocom (New York, NY, March 1999), pp. 218-226.
29. MAHAJAN, R., WETHERALL, D., AND ANDERSON, T. Understanding BGP misconfiguration. In Proc. ACM SIGCOMM (Aug. 2002), pp. 3-17.
30. MAO, Z. M., GOVINDAN, R., VARGHESE, G., AND KATZ, R. Route Flap Damping Exacerbates Internet Routing Convergence. In Prof. ACM SIGCOMM 2002 (Pittsburgh, PA, August 2002).
31. MAUCH, J. Odd UUNet BGP announcements for interior netblocks. http://www.merit.edu/mail.archives/nanog/2002-04/msg00653.html, April 2002.
32. MCPHERSON, D., GILL, V., WALTON, D., AND RETANA, A. Border Gateway Protocol (BGP) Persistent Route Oscillation Condition. Internet Engineering Task Force, August 2002. RFC 3345.
33. MYERS, A. C., AND LISKOV, B. A decentralized model for information flow control. In Proceedings of the 16th ACM Symposium on Operating Systems Principles (SOSP) (Saint-Malo, France, October 1997), pp. 129-142.
34. PERLMAN, R. Network Layer Protocols with Byzantine Robustness. PhD thesis, Massachusetts Institute of Technology, October 1988. MIT-LCS-TR-429. http://www.lcs.mit.edu/publications/specpub.php?id=997.
35. REKHTER, Y., AND LI, T. A Border Gateway Protocol 4 (BGP-4). Internet Engineering Task Force, 1995. RFC 1771.
36. SUBRAMANIAN, L., AGARWAL, S., REXFORD, J., AND KATZ, R. H. Characterizing the Internet hierarchy from multiple vantage points. In Proc. IEEE INFOCOM (New York, NY, June 2002).
37. TODD, J. AS number inconsistencies. http://www.merit.edu/mail.archives/ nanog/2002-07/msg00259.html, July 2002.
38. VARADHAN, K., GOVINDAN, R., AND ESTRIN, D. Persistent route oscillations in inter-domain routing. Computer Networks 32, 1 (2000), 1-16.
39. WANG, L., ET AL. Observation and analysis of BGP behavior under stress. In Proc. ACM SIGCOMM Internet Measurement Workshop (Marseille, France, November 2002).
40. WOBBER, E., ABADI, M., BURROWS, M., AND LAMPSON, B. Authentication in the Taos operating system. In Proceedings of the 14th ACM Symposium on Operating System Principles (SOSP) (Asheville, NC, December 1993), pp. 256-269.