Programmé en MR2AMRIR701, UVF2RMRIR404, MR2ARIR101
Présentation :
Responsable : Christophe Bidan (cbidan@rennes.supelec.fr)
Équipe pédagogique : Christophe Bidan, Marc Joye, Valérie Viet Triem Tong
Les objectifs de ce module sont multiples. En premier lieu, il s'agit de donner les principes fondamentaux de la cryptographie moderne, en mettant l'accent sur l'utilisation concrète de ces principes, ainsi que leurs limites. Ensuite, sont introduits les protocoles cryptographiques, ainsi que les attaques classiques auxquels ils sont sujets, justifiant le besoin de preuve de protocoles. La partie suivante traite précisément de cet aspect preuve de protocoles cryptographiques, et détaillant plus particulièrement l'approche à base de model-checking. Finalement, l'utilisation des protocoles cryptographiques est présentée dans le contexte de groupes d'utilisateur.
Pré-requis :
Aucun.
Liens :
http://master.irisa.fr/master/live/modules/p3m2_fr.html
Volume horaire :
20h
Contenu détaillé :
-- Rappel des principes fondamentaux de cryptographie (4h)
cryptographie symétrique, cryptographie asymétrique, fonctions de hachage...
-- Cryptographie appliquée (4h)
cryptographie symétrique vs. asymétrique, choix des algorithmes, standards, taille des clés, limites de la cryptographie...
-- Protocoles cryptographiques (4h)
authentification, certification, échange de clés, attaques classiques, preuves à apport nul de connaissance...
-- Preuve des protocoles cryptographique (4h)
modèle formel, preuve de propriétés par model-checking, validation.
-- Protocoles appliqués / Cas d’étude (4h)
cryptographie à seuil, authentification de groupe, chiffrement de groupe, signature de groupe, certification de groupe...
Année 2016/2017
Dernière mise à jour le 08-FEB-16
Validation par le responsable de programme le
|