GitHub / diekmann / Iptables_Semantics
Verified iptables Firewall Ruleset Analysis
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/diekmann%2FIptables_Semantics
PURL: pkg:github/diekmann/Iptables_Semantics
Stars: 97
Forks: 13
Open issues: 14
License: bsd-2-clause
Language: Isabelle
Size: 10 MB
Dependencies parsed at: Pending
Created at: almost 11 years ago
Updated at: 7 months ago
Pushed at: about 1 year ago
Last synced at: 5 months ago
Topics: access-control, firewall, haskell, iptables, ipv4, ipv6, isabelle, security
Loading...