Handling Stateful Firewall Anomalies

Frédéric Cuppens (1, 2) , Nora Cuppens-Boulahia (1, 2) , Joaquin Garcia Alfaro (1) , Tarik Moataz (1) , Xavier Rimasson (1)

1 LUSSI - Département Logique des Usages, Sciences sociales et Sciences de l'Information
2 Lab-STICC_TB_CID_SFIIS

A security policy consists of a set of rules designed to protect an information system. To ensure this protection, the rules must be deployed on security components in a consistent and non-redundant manner. Unfortunately, an empirical approach is often adopted by network administrators, to the detriment of theoretical validation. While the literature on the analysis of configurations of first generation (stateless) firewalls is now rich, this is not the case for second and third generation firewalls, also known as stateful firewalls. In this paper, we address this limitation, and provide solutions to analyze and handle stateful firewall anomalies and misconfiguration.

Mots clés: Firewalls; Misconfiguration; Network Access Control

Domaines: Informatique [cs]; Cryptographie et sécurité [cs.CR]

Frédéric Cuppens, Nora Cuppens-Boulahia, Joaquin Garcia Alfaro, Tarik Moataz, Xavier Rimasson. Handling Stateful Firewall Anomalies. 27th Information Security and Privacy Conference (SEC), Jun 2012, Heraklion, Greece. pp.174-186, ⟨10.1007/978-3-642-30436-1_15⟩. ⟨hal-00737170⟩