Les travaux de cette thèse s'articulent autour de la sécurité des Web Services. Les web services sont des applications qui publient leurs interfaces dans un fichier de description WSDL, permettant une communication via des messages SOAP sans se soucier du langage d'implémentation des services. Le paradigme de l'architecture orienté service permet de coupler les services simples afin de leur faire exécuter des taches plus complexes. Dans ce contexte ou les applications sont distribués la sécurité joue un rôle important. L'objectif sera de formaliser les propriétés de sécurité pour les services simples ou distribués. Ensuite il faudra les vérifier au niveau formel : être capable de démontrer qu'un système satisfait bien cette propriété, cela pouvant être fait au moyen d'un outil d'aide a la preuve (comme COQ) soit en utilisant du model-checking. Enfin une dernière approche pour la validation du respect des propretés de sécurité par le test sera explorée. La partie test pourra être active ou passive. Dans le cas du test passif il faudra donc concevoir un mécanisme pour la collecte de trace adapté aux services web.