A security Policy Query Engine for fully automated resolution of anomalies in firewall configurations | IEEE Conference Publication | IEEE Xplore