Correctness of Routing Vector Protocols as a Property of Network Cycles

  title={Correctness of Routing Vector Protocols as a Property of Network Cycles},
  author={Jox00E3o Lux00EDs Sobrinho},
  journal={IEEE/ACM Transactions on Networking},
Most analyses of routing vector protocols, such as the Border Gateway Protocol BGP, are conducted in the context of a single destination in a given network. In that context, for arbitrary routing policies, it is computationally intractable to determine whether or not a routing vector protocol behaves correctly. In this paper, we consider the common scenario where routing policies are specified independently of the destination. In this scenario, we demonstrate that the correctness of a routing… CONTINUE READING
1 Citations
5 References
Similar Papers


Publications citing this paper.


Publications referenced by this paper.
Showing 1-5 of 5 references

Similar Papers

Loading similar papers…