Discovery of policy anomalies in distributed firewalls | IEEE Conference Publication | IEEE Xplore