Email Gateway (Aug 22 2022 at 14:19): Email Gateway (Aug 22 2022 at 14:19):From: Gerwin.Klein@data61.csiro.au
Another new shiny entry in the AFP:
LOFT — Verified Migration of Linux Firewalls to SDN
by Julius Michaelis and Cornelius Diekmann
We present LOFT — Linux firewall OpenFlow Translator, a system that transforms the main routing table and FORWARD chain of iptables of a Linux-based firewall into a set of static OpenFlow rules. Our implementation is verified against a model of a simplified Linux-based router and we can directly show how much of the original functionality is preserved.
https://www.isa-afp.org/entries/LOFT.shtml
Enjoy!
Gerwin
Last updated: Apr 18 2024 at 12:27 UTC