La composition automatique de services web est une tache difficile. De nombreux travaux ont consideres des modeles simplifies qui font abstraction de la structure des messages echanges par les services. Pour le domaine des services securises, nous proposons une nouvelle approche pour automatiser la composition des services bases sur leurs politiques de securite. Etant donnes, une communaute de services et un service cible, nous reduisons le probleme de la synthese de la cible a partir des services dans la communaute a un probleme de securite, ou un intrus que nous appelons mediateur doit intercepter et rediriger (et eventuellement adapter) les messages depuis et vers la communaute de services et un service client jusqu'a atteindre un etat satisfaisant pour ce dernier. Nous avons implemente notre algorithme dans la plateforme de validation du projet AVANTSSAR et nous avons teste l'outil correspondant sur plusieurs etudes de cas. Nous presentons en outre un outil qui compile une trace obtenue (decrivant l'execution d'un mediateur) vers une specification formelle permettant de valider ces proprietes de securite et enfin vers le code executable correspondant."