Nature UE
Crédits ECTS 3
Volume horaire total 22
Volume horaire CM 12
Volume horaire TD 10

Pré-requis

SSI au Semestre 1

Objectifs

Théories sous-jacentes à la vérification de protocoles cryptographiques.

Contenu

La sécurité informatique est un des domaines en plein expansion. Il est important de bien comprendre comment les enjeux liés à la sécurité informatique. Ce cours vise à présenter les principaux aspects formels de la sécurité informatique.
Après une introduction du contexte lié à la sécurité informatique, nous aborderons les protocoles de communications basés sur la cryptographie. Ces protocoles sont à la base de la sécurité moderne et reposent sur des bases mathématiques solides. Ensuite nous verrons comment sécuriser un protocole à l’aide d’outils de vérification formelle de protocoles cryptographiques.

Les étudiants présentent en classe en groupe un exposé basé sur la lecture d’articles scientifiques.

Appartient à

Informations complémentaires

Théories sous-jacentes à la vérification de protocoles cryptographiques.