Mohammed Anis Mekki

According to our database, Mohammed Anis Mekki authored at least 5 papers between 2008 and 2011.

Collaborative distances:

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

2011

Synthèse et compilation de services web sécurisés. (Automatic synthesis of secured web services ).

Mohammed Anis Mekki

PhD thesis, 2011

Distributed Orchestration of Web Services under Security Constraints.

Tigran Avanesov, Yannick Chevalier, Mohammed Anis Mekki, Michaël Rusinowitch, Mathieu Turuani

Proceedings of the Data Privacy Management and Autonomous Spontaneus Security, 2011

Web Services Verification and Prudent Implementation.

Tigran Avanesov, Yannick Chevalier, Mohammed Anis Mekki, Michaël Rusinowitch

Proceedings of the Data Privacy Management and Autonomous Spontaneus Security, 2011

2010

Orchestration under Security Constraints.

Yannick Chevalier, Mohammed Anis Mekki, Michaël Rusinowitch

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

2008

Automatic Composition of Services with Security Policies.

Yannick Chevalier, Mohammed Anis Mekki, Michaël Rusinowitch

Proceedings of the 2008 IEEE Congress on Services, Part I, 2008