A tool for analyzing firewall configurations