Correctness of Routing Vector Protocols as a Property of Network Cycles

@article{Sobrinho2017CorrectnessOR,
  title={Correctness of Routing Vector Protocols as a Property of Network Cycles},
  author={Jox00E3o Lux00EDs Sobrinho},
  journal={IEEE/ACM Transactions on Networking},
  year={2017},
  volume={25},
  pages={150-163}
}
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

Citations

Publications citing this paper.

References

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

Similar Papers

Loading similar papers…