On the isofunctionality of network access control lists - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

On the isofunctionality of network access control lists

Résumé

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
Fichier principal
Vignette du fichier
preprint-ares-2015.pdf (265.67 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01332029 , version 1 (15-06-2016)

Identifiants

Citer

Malek Belhaouane, Joaquin Garcia-Alfaro, Hervé Debar. On the isofunctionality of network access control lists. ARES 2015: 10th International Conference on Availability, Reliability and Security, Aug 2015, Toulouse, France. pp.168 - 173, ⟨10.1109/ARES.2015.78⟩. ⟨hal-01332029⟩
45 Consultations
173 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More