Language-Independent Synthesis of Firewall Policies | IEEE Conference Publication | IEEE Xplore