Publications

Export 29 results:
Filters: Auteur is Erradi, M.  [Clear All Filters]
2022
R. Zennou, Biswas, R., Bouajjani, A., Enea, C., et Erradi, M., « Checking causal consistency of distributed databases », Computing, vol. 104, p. 2181-2201, 2022.
2021
J. Bouamama, Hedabou, M., et Erradi, M., « Cloud key management using trusted execution environment », in Proceedings of the 18th International Conference on Security and Cryptography, SECRYPT 2021, 2021, p. 560-567.
A. El M. Hadj, Khoumsi, A., Benkaouz, Y., et Erradi, M., « A Log-Based Method to Detect and Resolve Efficiently Conflicts in Access Control Policies », Advances in Intelligent Systems and Computing, vol. 1383 AISC, p. 836-846, 2021.
2020
R. Zennou, Atig, M. F., Biswas, R., Bouajjani, A., Enea, C., et Erradi, M., « Boosting Sequential Consistency Checking Using Saturation », Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12302 LNCS, p. 360-376, 2020.
2019
A. Khoumsi et Erradi, M., « Automata-based bottom-up design of conflict-free security policies specified as policy expressions », Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11028 LNCS, p. 343-357, 2019.
M. A. El Hadj, Erradi, M., Khoumsi, A., et Benkaouz, Y., « Validation and Correction of Large Security Policies: A Clustering and Access Log Based Approach », in Proceedings - 2018 IEEE International Conference on Big Data, Big Data 2018, 2019, p. 5330-5332.
2018
M. A. Madani, Erradi, M., et Benkaouz, Y., « ABAC Based Online Collaborations in the Cloud », Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, vol. 206, p. 67-76, 2018.
M. A. Madani, Erradi, M., et Benkaouz, Y., « ABAC Based Online Collaborations in the Cloud », Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, vol. 206, p. 67-76, 2018.
A. El M. Hadj, Benkaouz, Y., Khoumsi, A., et Erradi, M., « Access domain-based approach for anomaly detection and resolution in XACML policies », Advances in Intelligent Systems and Computing, vol. 735, p. 298-308, 2018.
A. Khoumsi, Erradi, M., et Krombi, W., « A formal basis for the design and analysis of firewall security policies », Journal of King Saud University - Computer and Information Sciences, vol. 30, p. 51-66, 2018.
A. Khoumsi, Erradi, M., et Krombi, W., « A formal basis for the design and analysis of firewall security policies », Journal of King Saud University - Computer and Information Sciences, vol. 30, p. 51-66, 2018.
2017
M. A. El Hadj, Benkaouz, Y., Freisleben, B., et Erradi, M., « ABAC rule reduction via similarity computation », Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10299 LNCS, p. 86-100, 2017.
M. Ayache, Erradi, M., Freisleben, B., et Khoumsi, A., « Aspect-oriented state machines for resolving conflicts in XACML policies », Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10299 LNCS, p. 166-171, 2017.
M. A. El Hadj, Ayache, M., Benkaouz, Y., Khoumsi, A., et Erradi, M., « Clustering-based approach for anomaly detection in XACML policies », in ICETE 2017 - Proceedings of the 14th International Joint Conference on e-Business and Telecommunications, 2017, vol. 4, p. 548-553.
I. Elaalyani, Erradi, M., Mühling, M., et Freisleben, B., « Current trends in text-spotting », in Proceedings - 2017 International Conference on Wireless Networks and Mobile Communications, WINCOM 2017, 2017.
A. Harbouche, Elmachkour, M., Djedi, N., Erradi, M., et Kobbane, A., « Dynamic coalitional matching game approach for fair and swift data-gathering in wireless body sensor networks », in Proceedings - 2017 International Conference on Wireless Networks and Mobile Communications, WINCOM 2017, 2017.
A. Harbouche, Djedi, N., Erradi, M., Ben-Othman, J., et Kobbane, A., « Model driven flexible design of a wireless body sensor network for health monitoring », Computer Networks, vol. 129, p. 1339-1351, 2017.
2015
M. A. Madani, Erradi, M., et Benkaouz, Y., « Access control in a collaborative session in multi tenant environment », in Proceedings of the 2015 11th International Conference on Information Assurance and Security, IAS 2015, 2015.
Y. Benkaouz et Erradi, M., « A distributed protocol for privacy preserving aggregation with non-permanent participants », Computing, vol. 97, p. 893-912, 2015.
M. A. Madani et Erradi, M., « How to secure a collaborative session in a single tenant environment », in International Conference on Protocol Engineering, ICPE 2015 and International Conference on New Technologies of Distributed Systems, NTDS 2015 - Proceedings, 2015.
Y. Benkaouz et Erradi, M., « Towards a decentralized OSN for a privacy-preserving e-health system », in Procedia Computer Science, 2015, vol. 63, p. 284-291.
2014
M. Erradi et Guerraoui, R., « Message from the general chairs », Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8593 LNCS, p. V, 2014.
2012
T. Dinkelaker, Erradi, M., et Ayache, M., « Using aspect-oriented state machines for detecting and resolving feature interactions », Computer Science and Information Systems, vol. 9, p. 1045-1074, 2012.
2011
E. Y. Ghayam et Erradi, M., « Distributed context management in collaborative environment », in 2011 11th Annual International Conference on New Technologies of Distributed Systems, NOTERE 2011 - Proceedings, 2011.
R. Zoubairi, Jarir, Z., et Erradi, M., « Dynamic QoS management in mobile services framework », in International Conference on Multimedia Computing and Systems -Proceedings, 2011.

Pages

Partenaires

LIENS UTILES

Localisation

Lien Google Maps

Location map

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:632,180
    Education - This is a contributing Drupal Theme
    Design by WeebPal.