FIREMAN
From MaRDI portal
Cited in
(19)- Verified iptables firewall analysis and verification
- CP-miner
- Firmato
- NetCore
- THE LANDSCAPE OF INCONSISTENCY: A PERSPECTIVE
- MEASURING INCONSISTENCY IN A NETWORK INTRUSION DETECTION RULE SET BASED ON SNORT
- A new method for creating efficient security policies in virtual private network
- Firewall Builder
- Simple Firewall
- IP Addresses
- UPF Firewall
- Iptables Semantics
- margrave
- LOFT
- ConfigChecker
- Routing
- Reasoning about visibility
- iptables
- nftables
This page was built for software: FIREMAN
