ACM Transactions on Programming Languages and Systems (TOPLAS)
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)
Internet Routing Architectures
Internet Routing Architectures
BGP4: Inter-Domain Routing in the Internet
BGP4: Inter-Domain Routing in the Internet
Algebra and algorithms for QoS path computation and hop-by-hop routing in the internet
IEEE/ACM Transactions on Networking (TON)
On the correctness of IBGP configuration
Proceedings of the 2002 conference on Applications, technologies, architectures, and protocols for computer communications
ICNP '02 Proceedings of the 10th IEEE International Conference on Network Protocols
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
Proceedings of the 2005 conference on Applications, technologies, architectures, and protocols for computer communications
Implications of autonomy for the expressiveness of policy routing
Proceedings of the 2005 conference on Applications, technologies, architectures, and protocols for computer communications
An algebraic theory of dynamic network routing
IEEE/ACM Transactions on Networking (TON)
A distributed approach for multi-constrained path selection and routing optimization
QShine '06 Proceedings of the 3rd international conference on Quality of service in heterogeneous wired/wireless networks
Load-balanced routing for mesh networks
ACM SIGMOBILE Mobile Computing and Communications Review
Loop-free constrained path computation for hop-by-hop QoS routing
Computer Networks: The International Journal of Computer and Telecommunications Networking
Path-independent load balancing with unreliable machines
SODA '07 Proceedings of the eighteenth annual ACM-SIAM symposium on Discrete algorithms
On guidelines for safe route redistributions
Proceedings of the 2007 SIGCOMM workshop on Internet network management
Implications of autonomy for the expressiveness of policy routing
IEEE/ACM Transactions on Networking (TON)
Optimal scheduling and routing for maximum network throughput
IEEE/ACM Transactions on Networking (TON)
On understanding transient interdomain routing failures
IEEE/ACM Transactions on Networking (TON)
Nettle: A Language for Configuring Routing Networks
DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
A model of configuration languages for routing protocols
Proceedings of the 2nd ACM SIGCOMM workshop on Programmable routers for extensible services of tomorrow
Scalable simulation of complex network routing policies
Proceedings of the 7th ACM international conference on Computing frontiers
Increasing bisemigroups and algebraic routing
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
Compatibility between optimal tree-based broadcast routing and metric design
GLOBECOM'09 Proceedings of the 28th IEEE conference on Global telecommunications
The stratified shortest-paths problem
COMSNETS'10 Proceedings of the 2nd international conference on COMmunication systems and NETworks
Theory and new primitives for safely connecting routing protocol instances
Proceedings of the ACM SIGCOMM 2010 conference
On the convergence condition and convergence time of BGP
Computer Communications
Safe interdomain routing under diverse commercial agreements
IEEE/ACM Transactions on Networking (TON)
Towards an algebra of routing tables
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
Wheel + ring = reel: the impact of route filtering on the stability of policy routing
IEEE/ACM Transactions on Networking (TON)
On the interaction of multiple routing algorithms
Proceedings of the Seventh COnference on emerging Networking EXperiments and Technologies
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
Brief announcement: a calculus of policy-based routing systems
PODC '12 Proceedings of the 2012 ACM symposium on Principles of distributed 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
Reduction-based analysis of BGP systems with BGPVerif
ACM SIGCOMM Computer Communication Review - Special october issue SIGCOMM '12
A novel paths algebra-based strategy to flexibly solve the link mapping stage of VNE problems
Journal of Network and Computer Applications
Hi-index | 0.00 |
Path vector protocols are currently in the limelight, mainly because the inter-domain routing protocol of the Internet, BGP (Border Gateway Protocol), belongs to this class. In this paper, we cast the operation of path vector protocols into a broad algebraic framework and relate the convergence of the protocol, and the characteristics of the paths to which it converges, with the monotonicity and isotonicity properties of its path compositional operation. Here, monotonicity means that the weight of a path cannot decrease when it is extended, and isotonicity means that the relationship between the weights of any two paths with the same origin is preserved when both are extended to the same node. We show that path vector protocols can be made to converge for every network if and only if the algebra is monotone, and that the resulting paths selected by the nodes are optimal if and only if the algebra is isotone as well.Many practical conclusions can be drawn from instances of the generic algebra. For performance-oriented routing, typical in intra-domain routing, we conclude that path vector protocols can be made to converge to widest or widest-shortest paths, but that the composite metric of IGRP (Interior Gateway Protocol), for example, does not guarantee convergence to optimal paths. For policy-based routing, typical in inter-domain routing, we formulate existing guidelines as instances of the generic algebra and we propose new ones. We also show how a particular instance of the algebra yields a sufficient condition for signaling correctness of internal BGP.