Wadie Krombi

Publication Activity (10 Years)

Years Active: 2014-2018
Publications (10 Years): 2

Top Topics

Greedy Algorithm

Detect Anomalies

Security Policies

Top Venues

J. King Saud Univ. Comput. Inf. Sci.

Publications

Ahmed Khoumsi, Mohammed Erradi, Wadie Krombi
A formal basis for the design and analysis of firewall security policies. J. King Saud Univ. Comput. Inf. Sci. 30 (1) (2018)
Ahmed Khoumsi, Mohamed Erradi, Meryeme Ayache, Wadie Krombi
An Approach to Resolve NP-Hard Problems of Firewalls. NETYS (2016)
Ahmed Khoumsi, Wadie Krombi, Mohammed Erradi
A Formal Approach to Verify Completeness and Detect Anomalies in Firewall Security Policies. FPS (2014)
Wadie Krombi, Mohammed Erradi, Ahmed Khoumsi
Automata-based approach to design and analyze security policies. PST (2014)