A semantic based tool for firewall configuration