The Community for Technology Leaders
2015 10th International Conference on Availability, Reliability and Security (ARES) (2015)
Toulouse, France
Aug. 24, 2015 to Aug. 27, 2015
ISBN: 978-1-4673-6589-5
pp: 168-173
ABSTRACT
In a networking context, Access Control Lists (ACLs) refer to security rules associated to network equipment, such as routers, switches and firewalls. Methods and tools to automate the management of ACLs distributed among several equipment shall verify if the corresponding ACLs are functionally equivalent. In this paper, we address such a verification process. We present a formal method to verify when two ACLs are iso functional and illustrate our proposal over a practical example.
INDEX TERMS
Access control, Ports (Computers), Proposals, Communication networks, Firewalls (computing), Boolean functions
CITATION

M. Belhaouane, J. Garcia-Alfaro and H. Debar, "On the Isofunctionality of Network Access Control Lists," 2015 10th International Conference on Availability, Reliability and Security (ARES), Toulouse, France, 2015, pp. 168-173.
doi:10.1109/ARES.2015.78
87 ms
(Ver 3.3 (11022016))