Publications

Export 3 results:
Filters: Auteur is Krombi, W.b  [Clear All Filters]
2016
Aa Khoumsi, Erradi, Mb, Ayache, Mb, et Krombi, Wb, « An approach to resolve NP-hard problems of firewalls », Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9944 LNCS, p. 229-243, 2016.
Aa Khoumsi, Erradi, Mb, et Krombi, Wb, « A formal basis for the design and analysis of firewall security policies », Journal of King Saud University - Computer and Information Sciences, 2016.
2015
Aa Khoumsi, Krombi, Wb, et Erradi, Mb, « A formal approach to verify completeness and detect anomalies in firewall security policies », Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8930, p. 221-236, 2015.

Partenaires

Localisation

Suivez-nous sur

         

    

Contactez-nous

ENSIAS

Avenue Mohammed Ben Abdallah Regragui, Madinat Al Irfane, BP 713, Agdal Rabat, Maroc

  Télécopie : (+212) 5 37 68 60 78

  Secrétariat de direction : 06 61 48 10 97

        Secrétariat général : 06 61 34 09 27

        Service des affaires financières : 06 61 44 76 79

        Service des affaires estudiantines : 06 62 77 10 17 / n.mhirich@um5s.net.ma

        Résidences : 06 61 82 89 77

Contacts

    

Education - This is a contributing Drupal Theme
Design by WeebPal.