Visualizing firewall configurations using created voids | IEEE Conference Publication | IEEE Xplore