Mignis is a semantic based tool for firewall configuration.