@inproceedings{ad480a46f8994fe5a1a4c11a0a273829,
title = "Veriflow: Verifying network-wide invariants in real time",
abstract = "Networks are complex and prone to bugs. Existing tools that check configuration Hies and data-plane state operate offline at timescales of seconds to hours, and cannot detect or prevent bugs as they arise. Is it possible to check network-wide invariants in real time. as the network state evolves? The key challenge here is to achieve extremely low latency during the checks so that network performance is not affected. In this paper, we present a preliminary design, VeriFlow, which suggests that this goal is achievable. VeriFlow is a layer between a software-defined networking controller and network devices that checks for network-wide invariant violations dynamically as each forwarding rule is inserted. Based on an implementation using a Mininet OpenFlow network and Route Views trace data, we find that VeriFlow can perform rigorous checking within hundreds of microseconds per rule insertion.",
keywords = "Debugging, Forwarding, Openflow, Real time, Software-defined networking",
author = "Ahmed Khurshid and Wenxuan Zhou and Matthew Caesar and Godfrey, {P. Brighten}",
year = "2012",
doi = "10.1145/2377677.2377766",
language = "English (US)",
isbn = "9781450314190",
series = "Computer Communication Review",
number = "4",
pages = "467--472",
booktitle = "Proceedings of the ACM SIGCOMM 2012 and Best Papers of the Co-located Workshops",
edition = "4",
note = "Annual Conference of the ACM Special Interest Group on Data Communication on the Applications, Technologies, Architectures, and Protocols for Computer Communication, ACM SIGCOMM 2012 ; Conference date: 13-08-2012 Through 17-08-2012",
}