Théorie de la sécurité et applications

Les protocoles cryptographiques sont des programmes visant à sécuriser les communications sur des réseaux ouverts comme Internet. Les exemples de protocoles sont nombreux: protocoles de paiement par carte bancaire, établissement d’un canal sécurisé (par exemple SSL), protocoles de vote électronique. D’apparence simple, ils sont notoirement difficiles à concevoir et les bonnes pratiques actuelles imposent une analyse formelle rigoureuse.

Ce cours présentera les méthodes de modélisation et d’analyse des protocoles cryptographiques, basées sur des techniques de déduction automatique et de résolution de contraintes. Un des objectifs du cours sera de concevoir, modéliser, et analyser des protocoles cryptographiques à l’aide d’outils dédiés tels que ProVerif. Cela pourra prendre la forme d’une mini-compétition entre élèves pour concevoir le protocole le plus robuste.

Contenu pédagogique de l’UE

  • Fonctionnement de différents protocoles.
  • Modélisation des protocoles et utilisation d’un outil de preuve dédié.
  • Algèbre de termes, théorie équationelle.
  • Clauses de Horn et procédures de résolution.
  • Protocoles de vote.
  • pi-calcul appliqué, bi-simulation et propriétés d’équivalence.