Distributed firewalls and IDS interoperability checking based on a formal approach

Kamel Karoui, Fakher Ben Ftima, Henda Ben Ghezala

To supervise and guarantee a network security, the administrator uses different security components, such as firewalls, IDS and IPS. For a perfect interoperability between these co…