Hassan, A.A. and Hudec, L. 2012. Management and Verification of Firewall and Router Access Lists. Computing and Informatics. 23, 1 (Feb. 2012), 77–100.