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.
The following video is in support of our SIGCOMM 2012 demo proposal.
- Alexander Gurney
- Xianglong Han
- Limin Jia
- Yang Li
- Boon Thau Loo
- Anduo Wang
- 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.)
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.