Using argumentation logic for firewall configuration management
Firewall Policy Advisor for Anomaly Discovery and Rule Editing