Nom du partenaire

Tâches coordonnées

• Élaboration d'une base de protocoles cryptographiques (authentification et commerce électronique)
• Traitement de cette base avec les outils de vérification développés

• Définition d'une syntaxe et sémantique d'un langage de spécification de protocoles cryptographiques
• Mise au point d'un cadre formel d'explication de preuves de certification
  

• Développement d'un prototype de vérification de protocoles
• Conception d'outils d'aide à la mise au point de protocole, en cas d'échec dans une certification