Programmé en UVF2R902, UVF2R403
Présentation :
La première partie de ce module permet d'acquérir les fondements de la cryptologie moderne. Il introduit les deux grandes familles de chiffrement (symétrique, asymétrique) ainsi que les techniques de hachage. Le développement en travaux pratiques d'un cryptosystème élémentaire et l'initiation à sa cryptanalyse, permettent d'illustrer concrètement les concepts théoriques.
Les protocoles dits de sécurité, du fait qu'ils font appel aux primitives de chiffrement vues dans la première partie, sont étudiés dans la seconde partie. L'authentification ayant été abordée en deuxième année, on se concentre dans ce module, sur la famille des protocoles d'échanges équitables, dont la non répudiation et la signature électronique de contrats sont des cas particuliers. L'analyse proposée est conduite dans un contexte formel. Un BE consacré à l'étude d'un protocole de non répudiation permet d'illustrer les notions introduites.
Objectifs (obsolète):
Acquérir savoir et savoir faire fondamentaux concernant la cryptologie et les protocoles de sécurité.
Pré-requis :
Module RES441 de la Majeure Réseaux
Volume horaire :
225h
Contenu détaillé :
CRYPTOLOGIE (10H)
C1 : Fondements mathématiques de la cryptologie, cryptographie symétrique
C2 : Cryptographie asymétrique, fonctions de hachage
TP1 : Implémentation et ingéniérie d'un système de chiffrement par flot
TP2 : Cryptanalyse d'un système par flot
PROTOCOLES DE SÉCURITÉ (12H30)
C3 : Protocoles d'échanges équitables
C4 : Analyse formelle de protocoles de non répudiation
TP3 : Introduction à un outil de vérification de protocoles
TP4 : Développement de modèles d'un protocole de non répudiation
TP5 : Évaluation des propriétés de sécurité, identification des attaques
Année 2006/2007
Dernière mise à jour le 08-JAN-07
Validation par le responsable de programme le
|