Mignis: A semantic based tool for firewall configuration