Firewall anomaly detection with a model checker for visibility logic | IEEE Conference Publication | IEEE Xplore