A Formal Approach to Verify Completeness and Detect Anomalies in Firewall Security Policies. - Ahmed Khoumsi; Wadie Krombi; Mohammed Erradi (FPS, 2014)

Automata-based approach to design and analyze security policies. - Wadie Krombi; Mohammed Erradi; Ahmed Khoumsi (PST, 2014)

An Approach to Resolve NP-Hard Problems of Firewalls. - Ahmed Khoumsi; Mohamed Erradi; Meryeme Ayache; Wadie Krombi (NETYS, 2016)

A formal basis for the design and analysis of firewall security policies. - Ahmed Khoumsi; Mohammed Erradi; Wadie Krombi (J. King Saud Univ. Comput. Inf. Sci., 2018)