Fast Algorithms for Local Inconsistency Detection in Firewall ACL Updates | IEEE Conference Publication | IEEE Xplore