diekmann / Iptables_Semantics

Verified iptables Firewall Ruleset Analysis
http://iptables.isabelle.systems/
BSD 2-Clause "Simplified" License
96 stars 13 forks source link

Refactoring: extracting simple firewall (finally adding partList4 optimization), draft ipv6 parser in thy #114

Closed diekmann closed 8 years ago