Verification and synthesis of firewalls using SAT and QBF | IEEE Conference Publication | IEEE Xplore