Integrating Verification and Repair into the Control Plane

Authors: Aaron Gember-Jacobson, Costin Raiciu, and Laurent Vanbever
Proceedings of the 16th ACM Workshop on Hot Topics in Networks (HotNets-XVI)
PDF

Abstract

Network verification has made great progress recently, yet existing solutions are limited in their ability to handle specific protocols or implementation quirks or to diagnose and repair the cause of policy violations. In this positioning paper, we examine whether we can achieve the best of both worlds: full coverage of control plane protocols and decision processes combined with the ability to diagnose and repair the cause of violations. To this end, we leverage the happens-before relationships that exist between control plane I/Os (e.g., route advertisements and forwarding updates). These relationships allow us to identify when it is safe to employ a data plane verifier and track the root-cause of problematic forwarding updates. We show how we can capture errors before they are installed, automatically trace down the source of the error and roll-back the updates whenever possible.

People

BibTex

@INPROCEEDINGS{gember-jacobson2017integrating,
	isbn = {9781450355698},
	doi = {10.1145/3152434.3152439},
	year = {2017},
	booktitle = {Proceedings of the 16th ACM Workshop on Hot Topics in Networks (HotNets-XVI)},
	type = {Conference Paper},
	author = {Gember-Jacobson, Aaron and Raiciu, Costin and Vanbever, Laurent},
	language = {en},
	address = {New York, NY},
	publisher = {Association for Computing Machinery},
	title = {Integrating Verification and Repair into the Control Plane},
	PAGES = {129 - 135},
	Note = {16th ACM Workshop on Hot Topics in Networks (HotNets-XVI); Conference Location: Palo Alto, CA, USA; Conference Date: November 30 - December 1, 2017}
}

Research Collection: 20.500.11850/228523