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.