Synthèse et compilation de services web sécurisés. (Synthesis and Compilation of Secured Web Services). - Mohamed-Anis Mekki (2011)