Introduction to algorithms
IEEE/ACM Transactions on Networking (TON)
On power-law relationships of the Internet topology
Proceedings of the conference on Applications, technologies, architectures, and protocols for computer communication
An analysis of BGP convergence properties
Proceedings of the conference on Applications, technologies, architectures, and protocols for computer communication
Internet Routing Architectures
Internet Routing Architectures
BGP4: Inter-Domain Routing in the Internet
BGP4: Inter-Domain Routing in the Internet
Experimental Study of Internet Stability and Backbone Failures
FTCS '99 Proceedings of the Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing
An Analysis of Internet Inter-Domain Topology and Route Stability
INFOCOM '97 Proceedings of the INFOCOM '97. Sixteenth Annual Joint Conference of the IEEE Computer and Communications Societies. Driving the Information Revolution
Policy Disputes in Path-Vector Protocols
ICNP '99 Proceedings of the Seventh Annual International Conference on Network Protocols
An architecture for stable, analyzable Internet routing
IEEE Network: The Magazine of Global Internetworking
Delayed Internet routing convergence
Proceedings of the conference on Applications, Technologies, Architectures, and Protocols for Computer Communication
Delayed Internet routing convergence
IEEE/ACM Transactions on Networking (TON)
Stable internet routing without global coordination
IEEE/ACM Transactions on Networking (TON)
The stable paths problem and interdomain routing
IEEE/ACM Transactions on Networking (TON)
Formal verification of standards for distance vector routing protocols
Journal of the ACM (JACM)
On the correctness of IBGP configuration
Proceedings of the 2002 conference on Applications, technologies, architectures, and protocols for computer communications
Realistic BGP traffic for test labs
Proceedings of the 2002 conference on Applications, technologies, architectures, and protocols for computer communications
Route flap damping exacerbates internet routing convergence
Proceedings of the 2002 conference on Applications, technologies, architectures, and protocols for computer communications
Route oscillations in I-BGP with route reflection
Proceedings of the 2002 conference on Applications, technologies, architectures, and protocols for computer communications
Design principles of policy languages for path vector protocols
Proceedings of the 2003 conference on Applications, technologies, architectures, and protocols for computer communications
An Internet scale simulation setup for BGP
ACM SIGCOMM Computer Communication Review
On the convergence time of a path-vector protocol
SODA '04 Proceedings of the fifteenth annual ACM-SIAM symposium on Discrete algorithms
Representing the Internet as a succinct forest
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue on The global Internet
On the benefits and feasibility of incentive based routing infrastructure
Proceedings of the ACM SIGCOMM workshop on Practice and theory of incentives in networked systems
Detecting Flaws and Intruders with Visual Data Analysis
IEEE Computer Graphics and Applications
Using Service Grammar to Diagnose BGP Configuration Errors
LISA '03 Proceedings of the 17th USENIX conference on System administration
A performance evaluation of BGP-based traffic engineering
International Journal of Network Management
HLP: a next generation inter-domain routing protocol
Proceedings of the 2005 conference on Applications, technologies, architectures, and protocols for computer communications
A Visual Exploration Process for the Analysis of Internet Routing Data
Proceedings of the 14th IEEE Visualization 2003 (VIS'03)
Achieving sub-50 milliseconds recovery upon BGP peering link failures
CoNEXT '05 Proceedings of the 2005 ACM conference on Emerging network experiment and technology
Path preserving scale down for validation of internet inter-domain routing protocols
Proceedings of the 38th conference on Winter simulation
Computer Networks: The International Journal of Computer and Telecommunications Networking
On guidelines for safe route redistributions
Proceedings of the 2007 SIGCOMM workshop on Internet network management
Achieving sub-50 milliseconds recovery upon BGP peering link failures
IEEE/ACM Transactions on Networking (TON)
Practical defenses against BGP prefix hijacking
CoNEXT '07 Proceedings of the 2007 ACM CoNEXT conference
Large-scale testing of the Internet's Border Gateway Protocol (BGP) via topological scale-down
ACM Transactions on Modeling and Computer Simulation (TOMACS)
(Un)-Stable Routing in the Internet: A Survey from the Algorithmic Perspective
Graph-Theoretic Concepts in Computer Science
Network Formation and Routing by Strategic Agents Using Local Contracts
WINE '08 Proceedings of the 4th International Workshop on Internet and Network Economics
Instability free routing: beyond one protocol instance
CoNEXT '08 Proceedings of the 2008 ACM CoNEXT Conference
Reliable interdomain routing through multiple complementary routing processes
CoNEXT '08 Proceedings of the 2008 ACM CoNEXT Conference
Bringing order to BGP: Decreasing time and message complexity
Computer Networks: The International Journal of Computer and Telecommunications Networking
Nettle: A Language for Configuring Routing Networks
DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
On the feasibility of static analysis for BGP convergence
IM'09 Proceedings of the 11th IFIP/IEEE international conference on Symposium on Integrated Network Management
A stabilizing solution to the stable path problem
SSS'03 Proceedings of the 6th international conference on Self-stabilizing systems
An adaptive management approach to resolving policy conflicts
NETWORKING'07 Proceedings of the 6th international IFIP-TC6 conference on Ad Hoc and sensor networks, wireless networks, next generation internet
The internet's unexploited path diversity
IEEE Communications Letters
BGP skeleton: an alternative to iBGP route reflection
INFOCOM'10 Proceedings of the 29th conference on Information communications
YAMR: yet another multipath routing protocol
ACM SIGCOMM Computer Communication Review
A distributed method for dynamic resolution of BGP oscillations
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Safe interdomain routing under diverse commercial agreements
IEEE/ACM Transactions on Networking (TON)
R-BGP: staying connected In a connected world
NSDI'07 Proceedings of the 4th USENIX conference on Networked systems design & implementation
Maintaining safety in interdomain routing with hierarchical path-categories
ICDCN'10 Proceedings of the 11th international conference on Distributed computing and networking
FSR: formal analysis and implementation toolkit for safe inter-domain routing
Proceedings of the ACM SIGCOMM 2011 conference
Analyzing BGP instances in Maude
FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
Wheel + ring = reel: the impact of route filtering on the stability of policy routing
IEEE/ACM Transactions on Networking (TON)
Obtaining provably legitimate internet topologies
IEEE/ACM Transactions on Networking (TON)
Reduction-based formal analysis of BGP instances
TACAS'12 Proceedings of the 18th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Characterizing and reducing route oscillations in the Internet
Computer Communications
On the stability of interdomain routing
ACM Computing Surveys (CSUR)
Computational complexity of traffic hijacking under BGP and S-BGP
ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II
Provable security of S-BGP and other path vector protocols: model, analysis and extensions
Proceedings of the 2012 ACM conference on Computer and communications security
FSR: formal analysis and implementation toolkit for safe interdomain routing
IEEE/ACM Transactions on Networking (TON)
DataTraffic Monitoring and Analysis
Hi-index | 0.00 |
The Border Gateway Protocol (BGP) allows an autonomous system (AS) to apply diverse local policies for selecting routes and propagating reachability information to other domains. However, BGP permits ASes to have conflicting policies that can lead to routing instability. This paper proposes a set of guidelines for an AS to follow in setting its routing policies, without requiring coordination with other ASes. Our approach exploits the Internet's hierarchical structure and the commercial relationships between ASes to impose a partial order on the set of routes to each destination. The guidelines conform to conventional traffic-engineering practices of ISPs, and provide each AS with significant flexibility in selecting its local policies. Furthermore, the guidelines ensure route convergence even under changes in the topology and routing policies. Drawing on a formal model of BGP, we prove that following our proposed policy guidelines guarantees route convergence. We also describe how our methodology can be applied to new types of relationships between ASes, how to verify the hierarchical AS relationships, and how to realize our policy guidelines. Our approach has significant practical value since it preserves the ability of each AS to apply complex local policies without divulging its BGP configurations to others.