Data networks
Interconnections: bridges and routers
Interconnections: bridges and routers
Routing in the Internet
SIGCOMM '97 Proceedings of the ACM SIGCOMM '97 conference on Applications, technologies, architectures, and protocols for computer communication
End-to-end routing behavior in the Internet
IEEE/ACM Transactions on Networking (TON)
Internet Routing Architectures
Internet Routing Architectures
BGP4: Inter-Domain Routing in the Internet
BGP4: Inter-Domain Routing in the Internet
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
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
An architecture for stable, analyzable Internet routing
IEEE Network: The Magazine of Global Internetworking
Stable Internet routing without global coordination
Proceedings of the 2000 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
Delayed Internet routing convergence
Proceedings of the conference on Applications, Technologies, Architectures, and Protocols for Computer Communication
Trajectory sampling for direct traffic observation
Proceedings of the conference on Applications, Technologies, Architectures, and Protocols for Computer Communication
Trajectory sampling for direct traffic observation
IEEE/ACM Transactions on Networking (TON)
Delayed Internet routing convergence
IEEE/ACM Transactions on Networking (TON)
Stable internet routing without global coordination
IEEE/ACM Transactions on Networking (TON)
IEEE/ACM Transactions on Networking (TON)
On inferring autonomous system relationships in the internet
IEEE/ACM Transactions on Networking (TON)
On the marginal utility of network topology measurements
IMW '01 Proceedings of the 1st ACM SIGCOMM Workshop on Internet Measurement
The stable paths problem and interdomain routing
IEEE/ACM Transactions on Networking (TON)
Distributed algorithmic mechanism design: recent results and future directions
DIALM '02 Proceedings of the 6th international workshop on Discrete algorithms and methods for mobile computing and communications
A BGP-based mechanism for lowest-cost routing
Proceedings of the twenty-first annual symposium on Principles of distributed computing
Formal verification of standards for distance vector routing protocols
Journal of the ACM (JACM)
ACM SIGACT news distributed computing column 9
ACM SIGACT News
From active to passive progress in testing internet routing protocols
Journal of Computer Science and Technology
Understanding BGP misconfiguration
Proceedings of the 2002 conference on Applications, technologies, architectures, and protocols for computer communications
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
BGP routing stability of popular destinations
Proceedings of the 2nd ACM SIGCOMM Workshop on Internet measurment
Routing Information Protocol in HOL/SPIN
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
Stabilizing Inter-domain Routing in the Internet (Research Note)
Euro-Par '02 Proceedings of the 8th International Euro-Par Conference on Parallel Processing
Design principles of policy languages for path vector protocols
Proceedings of the 2003 conference on Applications, technologies, architectures, and protocols for computer communications
Towards a logic for wide-area Internet routing
FDNA '03 Proceedings of the ACM SIGCOMM workshop on Future directions in network architecture
NIRA: a new Internet routing architecture
FDNA '03 Proceedings of the ACM SIGCOMM workshop on Future directions in network architecture
An Internet scale simulation setup for BGP
ACM SIGCOMM Computer Communication Review
Implications of the topological properties of Internet traffic on traffic engineering
Proceedings of the 2004 ACM symposium on Applied computing
Decoupling policy from mechanism in Internet routing
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
Specification faithfulness in networks with rational nodes
Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing
Routing design in operational networks: a look from the inside
Proceedings of the 2004 conference on Applications, technologies, architectures, and protocols for computer communications
Proceedings of the ACM SIGCOMM workshop on Network troubleshooting: research, theory and operations practice meet malfunctioning reality
Detecting Flaws and Intruders with Visual Data Analysis
IEEE Computer Graphics and Applications
Designing BGP-based outbound traffic engineering techniques for stub ASes
ACM SIGCOMM Computer Communication Review
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)
Inference and Labeling of Metric-Induced Network Topologies
IEEE Transactions on Parallel and Distributed Systems
Aggregated path authentication for efficient BGP security
Proceedings of the 12th ACM conference on Computer and communications security
Reflections on network architecture: an active networking perspective
ACM SIGCOMM Computer Communication Review
A BGP-based mechanism for lowest-cost routing
Distributed Computing - Special issue: PODC 02
Building an AS-topology model that captures route diversity
Proceedings of the 2006 conference on Applications, technologies, architectures, and protocols for computer communications
Visualizing Internet Routing Changes
IEEE Transactions on Visualization and Computer Graphics
Path preserving scale down for validation of internet inter-domain routing protocols
Proceedings of the 38th conference on Winter simulation
Internet resiliency to attacks and failures under BGP policy routing
Computer Networks: The International Journal of Computer and Telecommunications Networking
Guaranteed fault containment and local stabilization in routing
Computer Networks: The International Journal of Computer and Telecommunications Networking
BGP routing dynamics revisited
ACM SIGCOMM Computer Communication Review
Computer Networks: The International Journal of Computer and Telecommunications Networking
Stabilizing inter-domain routing in the Internet
Journal of High Speed Networks - Self-Stabilizing Systems, Part 1
Subjective-cost policy routing
Theoretical Computer Science
Theoretical bounds on control-plane self-monitoring in routing protocols
Proceedings of the 2007 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
On compact routing for the internet
ACM SIGCOMM Computer Communication Review
Acyclic type-of-relationship problems on the internet: an experimental analysis
Proceedings of the 7th ACM SIGCOMM conference on Internet measurement
A fractional model of the border gateway protocol (BGP)
Proceedings of the nineteenth annual ACM-SIAM symposium on Discrete algorithms
The complexity of game dynamics: BGP oscillations, sink equilibria, and beyond
Proceedings of the nineteenth annual ACM-SIAM symposium on Discrete algorithms
Large-scale testing of the Internet's Border Gateway Protocol (BGP) via topological scale-down
ACM Transactions on Modeling and Computer Simulation (TOMACS)
STOC '08 Proceedings of the fortieth annual ACM symposium on Theory of computing
Cooperative Management Framework for Inter-domain Routing System
ATC '08 Proceedings of the 5th international conference on Autonomic and Trusted Computing
(Un)-Stable Routing in the Internet: A Survey from the Algorithmic Perspective
Graph-Theoretic Concepts in Computer Science
Reliable interdomain routing through multiple complementary routing processes
CoNEXT '08 Proceedings of the 2008 ACM CoNEXT Conference
Neighbor-specific BGP: more flexible routing policies while improving global stability
Proceedings of the eleventh international joint conference on Measurement and modeling of computer systems
Bringing order to BGP: Decreasing time and message complexity
Computer Networks: The International Journal of Computer and Telecommunications Networking
On understanding transient interdomain routing failures
IEEE/ACM Transactions on Networking (TON)
Inter-domain QoS routing on Diffserv networks: a region-based approach
Computer Communications
Improving internet-wide routing protocols convergence with MRPC timers
Proceedings of the 5th international conference on Emerging networking experiments and technologies
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
On the power-law of the internet and the hierarchy of BGP convergence
ICA3PP'07 Proceedings of the 7th international conference on Algorithms and architectures for parallel processing
Modeling BGP table fluctuations
ITC20'07 Proceedings of the 20th international teletraffic conference on Managing traffic performance in converged networks
Incentive-compatible interdomain routing with linear utilities
WINE'07 Proceedings of the 3rd international conference on Internet and network economics
Impact of routing parameters on route diversity and path inflation
Computer Networks: The International Journal of Computer and Telecommunications Networking
A distributed method for dynamic resolution of BGP oscillations
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
SIAM Journal on Discrete Mathematics
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
Mutually controlled routing with independent ISPs
NSDI'07 Proceedings of the 4th USENIX conference on Networked systems design & implementation
Expected convergence properties of BGP
Computer Networks: The International Journal of Computer and Telecommunications Networking
Maintaining safety in interdomain routing with hierarchical path-categories
ICDCN'10 Proceedings of the 11th international conference on Distributed computing and networking
A Simplified Internet Routing Architecture
Mobile Networks and Applications
Wheel + ring = reel: the impact of route filtering on the stability of policy routing
IEEE/ACM Transactions on Networking (TON)
Research challenges towards the Future Internet
Computer Communications
Acyclic type-of-relationship problems on the internet
CAAN'06 Proceedings of the Third international conference on Combinatorial and Algorithmic Aspects of Networking
Subjective-Cost policy routing
WINE'05 Proceedings of the First international conference on Internet and Network Economics
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
Brief announcement: a calculus of policy-based routing systems
PODC '12 Proceedings of the 2012 ACM symposium on Principles of distributed computing
On the stability of interdomain routing
ACM Computing Surveys (CSUR)
SIAM Journal on Computing
Reduction-based analysis of BGP systems with BGPVerif
Proceedings of the ACM SIGCOMM 2012 conference on Applications, technologies, architectures, and protocols for computer communication
The controller placement problem
Proceedings of the first workshop on Hot topics in software defined networks
A theory for the connectivity discovered by routing protocols
IEEE/ACM Transactions on Networking (TON)
Reduction-based analysis of BGP systems with BGPVerif
ACM SIGCOMM Computer Communication Review - Special october issue SIGCOMM '12
The controller placement problem
ACM SIGCOMM Computer Communication Review - Special october issue SIGCOMM '12
Outsourcing the routing control logic: better internet routing based on SDN principles
Proceedings of the 11th ACM Workshop on Hot Topics in Networks
FSR: formal analysis and implementation toolkit for safe interdomain routing
IEEE/ACM Transactions on Networking (TON)
LOUP: the principles and practice of intra-domain route dissemination
nsdi'13 Proceedings of the 10th USENIX conference on Networked Systems Design and Implementation
Bailout forward contracts for edge-to-edge internet services
Computer Communications
ACM SIGCOMM Computer Communication Review
Hi-index | 0.00 |
The Border Gateway Protocol (BGP) is the de facto inter-domain routing protocol used to exchange reachability information between Autonomous Systems in the global Internet. BGP is a path-vector protocol that allows each Autonomous System to override distance-based metrics with policy-based metrics when choosing best routes. Varadhan et al. [18] have shown that it is possible for a group of Autonomous Systems to independently define BGP policies that together lead to BGP protocol oscillations that never converge on a stable routing. One approach to addressing this problem is based on static analysis of routing policies to determine if they are safe. We explore the worst-case complexity for convergence-oriented static analysis of BGP routing policies. We present an abstract model of BGP and use it to define several global sanity conditions on routing policies that are related to BGP convergence/divergence. For each condition we show that the complexity of statically checking it is either NP-complete or NP-hard.