FIREMAN
From MaRDI portal
swMATH10594MaRDI QIDQ22553FDOQ22553
Author name not available (Why is that?)
Official website: doi:10.1109/SP.2006.16
Cited In (19)
- MEASURING INCONSISTENCY IN A NETWORK INTRUSION DETECTION RULE SET BASED ON SNORT
- Reasoning about visibility
- A new method for creating efficient security policies in virtual private network
- CP-miner
- Firmato
- NetCore
- ConfigChecker
- Firewall Builder
- IP Addresses
- Iptables Semantics
- margrave
- LOFT
- Simple Firewall
- Routing
- UPF Firewall
- nftables
- iptables
- THE LANDSCAPE OF INCONSISTENCY: A PERSPECTIVE
- Verified iptables firewall analysis and verification
This page was built for software: FIREMAN