Sujet de recherche: Methodes pour la verification des protocoles cryptographiques dans le modele calculatoire