Skip to Main content Skip to Navigation
Journal articles

Management of stateful firewall misconfiguration

García-Alfaro Joaquin 1 Cuppens Frédéric 2, 3 Nora Cuppens-Boulahia 2, 3 Salvador Martinez Perez 4, 5 Jordi Cabot 4 
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
4 ATLANMOD - Modeling Technologies for Software Production, Operation, and Evolution
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
Abstract : Firewall configurations are evolving into dynamic policies that depend on protocol states. As a result, stateful configurations tend to be much more error prone. Some errors occur on configurations that only contain stateful rules. Others may affect those holding both stateful and stateless rules. Such situations lead to configurations in which actions on certain packets are conducted by the firewall, while other related actions are not. We address automatic solutions to handle these problems. Permitted states and transitions of connection-oriented protocols (in essence, on any layer) are encoded as automata. Flawed rules are identified and potential modifications are provided in order to get consistent configurations. We validate the feasibility of our proposal based on a proof of concept prototype that automatically parses existing firewall configuration files and handles the discovery of flawed rules according to our approach.
Document type :
Journal articles
Complete list of metadata
Contributor : Salvador Martínez Connect in order to contact the contributor
Submitted on : Thursday, October 3, 2013 - 12:03:51 AM
Last modification on : Wednesday, April 27, 2022 - 3:55:23 AM


  • HAL Id : hal-00869328, version 1


García-Alfaro Joaquin, Cuppens Frédéric, Nora Cuppens-Boulahia, Salvador Martinez Perez, Jordi Cabot. Management of stateful firewall misconfiguration. Computers and Security, Elsevier, 2013, 39 (11), pp.64-85. ⟨hal-00869328⟩



Record views