Publications

Export 3 results:
Filters: Auteur is Krombi, W.b  [Clear All Filters]
Journal Article
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, 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.
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.

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.