Publications

Export 3 results:
Filters: Auteur is Khoumsi, A.a  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
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.
F
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

        CEDOC ST2I : 06 66 39 75 16

        Résidences : 06 61 82 89 77

Contacts

    

    Compteur de visiteurs:631,364
    Education - This is a contributing Drupal Theme
    Design by WeebPal.