Mazen El Maarabani

According to our database, Mazen El Maarabani authored at least 7 papers between 2009 and 2012.

Collaborative distances:

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

2012

Verification and test of interoperability security policies. (Vérification et test des politiques de sécurité d'interopérabilité).

Mazen El Maarabani

PhD thesis, 2012

Testing Interoperability Security Policies.

Mazen El Maarabani, César Andrés, Ana R. Cavalli

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

Role based interoperability security policies in collaborative systems.

Khalifa Toumi, Ana R. Cavalli, Mazen El Maarabani

Proceedings of the 2012 International Conference on Collaboration Technologies and Systems, 2012

A vector based model approach for defining trust in Multi-Organization Environments.

Khalifa Toumi, César Andrés, Ana R. Cavalli, Mazen El Maarabani

Proceedings of the 7th International Conference on Risks and Security of Internet and Systems, 2012

2011

Verification of Interoperability Security Policies by Model Checking.

Mazen El Maarabani, Ana R. Cavalli, Iksoon Hwang, Fatiha Zaïdi

Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

2010

A Formal Approach for Interoperability Testing of Security Rules.

Mazen El Maarabani, Iksoon Hwang, Ana R. Cavalli

Proceedings of the Sixth International Conference on Signal-Image Technology and Internet-Based Systems, 2010

2009

Interoperability testing of presence service on IMS platform.

Mazen El Maarabani, Asma Adala, Iksoon Hwang, Ana R. Cavalli

Proceedings of the 5th International ICST Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities, 2009