Control Plane Stability from Incomplete Information
Interdomain routing protocol stability depends on the absence of policy conflicts between autonomous systems; but since most policy is kept private, it is hard to ensure that conflicts are avoided. We show that even limited information can be used to help guide network (re-)configuration, by automated tools that assist network operators. This work is based on an underlying formalism of partially specified policy configurations, which has related applications in network optimization, resilience, and giving insight into design choices.
Video
The following video is in support of our SIGCOMM 2012 demo proposal.
Participants
This project is part of NetDB@Penn in the Department of Computer and Information Science, University of Pennsylvania.
- Alexander Gurney
- Xianglong Han
- Limin Jia
- Yang Li
- Boon Thau Loo
- Anduo Wang
Publications
- Alexander J. T. Gurney, Limin Jia, Anduo Wang, Boon Thau Loo. 2011. Partial specification of routing configurations. Workshop on Rigorous Protocol Engineering (WRiPE 2011), Vancouver. (Technical report version.)
Acknowledgements
This research is partly supported by the AFOSR Young Investigator Award (FA9550-12-1-0327), NSF Expeditions in Computer Augmented Program Engineering (ExCAPE) project, ITR-1138996 and CNS-1218066. Further support was provided by the NSF grants CCF-0820208, IIS-0812270, CNS-0845552 and CNS-1040672.