SymNet: static checking for stateful networks

@inproceedings{Stoenescu2013SymNetSC,
  title={SymNet: static checking for stateful networks},
  author={Radu Stoenescu and Matei Popovici and Lorina Negreanu and Costin Raiciu},
  booktitle={HotMiddlebox '13},
  year={2013}
}
Today's networks deploy many stateful procesing boxes ranging from NATs to firewalls and application optimizers: these boxes operate on packet flows, rather than individual packets. As more and more middleboxes are deployed, understanding their composition is becoming increasingly difficult. Static checking of network configurations is a promising approach to help understand whether a network is configured properly, but existing tools are limited as they only support stateless processing. We… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 17 CITATIONS

A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges

  • IEEE Communications Surveys & Tutorials
  • 2019
VIEW 1 EXCERPT
CITES BACKGROUND

ShadeNF: Testing Online Network Functions

  • 2019 IEEE International Conference on Cloud Engineering (IC2E)
  • 2019
VIEW 3 EXCERPTS
CITES BACKGROUND & METHODS

SFC-Checker: Checking the correct forwarding behavior of Service Function chaining

  • 2016 IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN)
  • 2016
VIEW 2 EXCERPTS

References

Publications referenced by this paper.