Debugging the data plane with anteater

By Haohui Mai, Ahmed Khurshid, R. Agarwal, Matthew C. Caesar, Brighten Godfrey, Samuel T. King. Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, 2011

516 citations recorded by the source corpus.

Subfields: Computer Networks and Communications, Hardware and Architecture

View Paper: https://www.semanticscholar.org/paper/f49a8d3279d49dc7d8da1714ac498431b953b15b

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Computer Networks and Communications

In Hardware and Architecture

Citations in the corpus

A NICE Way to Test OpenFlow Applications (2012, unknown): “[31] use static analysis of network devices forwarding information bases to uncover problems in the data plane.”
A General Approach to Network Configuration Verification (2017, methodology): “Tools for data plane analysis like Anteater [22], HSA [18], Veriflow [19], NoD [21], SymNet [31] and Delta-net [17], have a simpler task than configuration analysis—they do not have to model the control-plane dynamics that produce many possible data planes.”
Software-defined networking (SDN): a survey (2016, background): “Anteater [142] is a similar work that introduces a static analysis approach to diagnose network con ﬁ guration problems.”
VeriFlow: verifying network-wide invariants in real time (2012, unknown): “As argued in [19], verifying network correctness in the data plane offers several advantages over verifying higher-level code such as conﬁguration ﬁles.”
A Survey of Software-Defined Networking: Past, Present, and Future of Programmable Networks (2014, background): “Anteater [70] takes a different approach by attempting to check network invariants that exist in the data plane, such as”
SPHINX: Detecting Security Attacks in Software-Defined Networks (2015, background): “All prior art, including [28]–[30], [34], had assumed trustworthy switches, while SPHINX’s threat model relaxes this requirement.”
A General Approach to Network Configuration Analysis (2015, background): “Researchers have recently proposed a second approach that can be used to detect configuration errors: analyzing the data plane snapshots (i.e., forwarding behavior) of the network [13] [14] [22] [37].”
Real Time Network Policy Checking Using Header Space Analysis (2013, unknown): “The basic idea is that if we can analyze the forwarding state—either as it is written to switches, or after it has been written—then we can check against a set of invariants/policies and catch bugs before or soon after they take place.”