Programmé en UVF2R410
Présentation :
Les protocoles dits de sécurité, sont des protocoles utilisant des primitives de chiffrement. Ce module présente dans un premier temps un panorama des différentes familles de protocoles de sécurité. On étudie de façon détaillée dans un second temps, 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 pédagogiques :
- Acquérir savoir et savoir faire fondamentaux concernant les protocoles de sécurité
Pré-requis :
Module RES441 de la Majeure Réseaux
Volume horaire :
21h
Contenu détaillé :
C1 : Panorama sur les protocoles de sécurité
C2 : Protocoles d'échange équitable
C3 : Spécifications des propriétés de sécurité
C4 : Modélisation et vérification
PC1 : Analyse du protocole de Zhou et Gollman
TP1 : Introduction à l'outil MOCHA
TP2 : Analyse du protocole de Zhou et Gollman avec MOCHA
Année 2019/2020
Dernière mise à jour le 11-JAN-19
Validation par le responsable de programme le
| 
