A Quadratic, Complete, and Minimal Consistency Diagnosis Process for Firewall ACLs