Wadie Krombi

According to our database, Wadie Krombi authored at least 4 papers between 2014 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2018

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

2016

An Approach to Resolve NP-Hard Problems of Firewalls.

Ahmed Khoumsi, Mohamed Erradi, Meryeme Ayache, Wadie Krombi

Proceedings of the Networked Systems - 4th International Conference, 2016

2014

Automata-based approach to design and analyze security policies.

Wadie Krombi, Mohammed Erradi, Ahmed Khoumsi

Proceedings of the 2014 Twelfth Annual International Conference on Privacy, 2014

A Formal Approach to Verify Completeness and Detect Anomalies in Firewall Security Policies.

Ahmed Khoumsi, Wadie Krombi, Mohammed Erradi

Proceedings of the Foundations and Practice of Security - 7th International Symposium, 2014