Introducing programmability and automation in the synthesis of virtual firewall rules | IEEE Conference Publication | IEEE Xplore