Efficient method for inferring a firewall policy | IEEE Conference Publication | IEEE Xplore