La composition automatique de services web est une t che difficile. De nombreux travaux ont consid r s des mod les simplifi s qui font abstraction de la structure des messages chang s par les services. Pour le domaine des services s curis s, nous proposons une nouvelle approche pour automatiser la composition des services bas s sur leurs politiques de s curit . tant donn s, une communaut de services et un service cible, nous r duisons le probl me de la synth se de la cible partir des services dans la communaut un probl me de s curit , o un intrus que nous appelons m diateur doit intercepter et rediriger (et ventuellement adapter) les messages depuis et vers la communaut de services et un service client jusqu' atteindre un tat satisfaisant pour ce dernier. Nous avons impl ment notre algorithme dans la plateforme de validation du projet AVANTSSAR et nous avons test l'outil correspondant sur plusieurs tudes de cas. Nous pr sentons en outre un outil qui compile une trace obtenue (d crivant l'ex cution d'un m diateur) vers une sp cification formelle permettant de valider ces propri t s de s curit et enfin vers le code ex cutable correspondant.