Smallest Botnet Firewall Building Problem and a Girvan-Newman Algorithm-Based Heuristic Solution | IEEE Conference Publication | IEEE Xplore