Firmato: a novel firewall management toolkit | IEEE Conference Publication | IEEE Xplore