issues
search
diekmann
/
Iptables_Semantics
Verified iptables Firewall Ruleset Analysis
http://iptables.isabelle.systems/
BSD 2-Clause "Simplified" License
96
stars
13
forks
source link
Some examples by eval
#130
Closed
jcaesar
closed
8 years ago