Enseignements
Cours commun Telecom Nancy et Master sécurité Mines de Nancy
Notes de cours (couvrent plus que ce qui est traité en cours)
Cours 1
et
TD numéro 1
: Introduction aux protocoles cryptographiques
Cours 2
et
TD numéro 2
: Modélisation des protocoles
Installation de
ProVerif
,
TP
et fichier (tronqué) pour
Needham-Schroeder
. Correction:
fichier complet
.
Fichier avec
trace ProVerif commentée
.
Cours 3
et
TD numéro 3
: Comment fonctionne ProVerif?
TP
et fichier ProVerif pour
Needham-Schroeder, avec propriété d'authentification
Cours 4 (ancien): protocole TLS
et
Triple Handshakes attack
Championnat de protocoles
Présentation du championnat et de ses règles
Exemple de protocole et d'attaque