Hassan, A. A.; Hudec, L. Management and Verification of Firewall and Router Access Lists. Comput. Inform. 2012, 23, 77-100.