A Feasible Anomaly Diagnosis Mechanism for Stateful Firewall Rules | IEEE Conference Publication | IEEE Xplore