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.


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



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.