Good Network Updates for Bad Packets: Waypoint Enforcement Beyond Destination-Based Routing Policies

@inproceedings{Ludwig2014GoodNU,
  title={Good Network Updates for Bad Packets: Waypoint Enforcement Beyond Destination-Based Routing Policies},
  author={Arne Ludwig and Matthias Rost and Damien Foucard and Stefan Schmid},
  booktitle={HotNets},
  year={2014}
}
Networks are critical for the security of many computer systems. However, their complex and asynchronous nature often renders it difficult to formally reason about network behavior. Accordingly, it is challenging to provide correctness guarantees, especially during network updates. This paper studies how to update networks while maintaining a most basic safety property, Waypoint Enforcement (WPE): each packet is required to traverse a certain checkpoint (for instance, a firewall). Waypoint… CONTINUE READING
Highly Cited
This paper has 56 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 41 extracted citations

56 Citations

0102020142015201620172018
Citations per Year
Semantic Scholar estimates that this publication has 56 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…