Les protocoles cryptographiques

Introduction
Terminologie
Exemples d’attaques de protocoles
La recherche dans tout ca» ?
Les protocoles cryptographiques
¶Ecole des Mines, 3e ann¶ee
1/79 V¶eronique Cortier Protocoles cryptographiques - Cours 1Introduction
Terminologie
Exemples d’attaques de protocoles
La recherche dans tout ca» ?
Internet
- confldentialit¶e
- anonymat
- authentiflcation
(s’agit-il bien
de ma banque ?)
2/79 V¶eronique Cortier Protocoles cryptographiques - Cours 1Introduction
Terminologie
Exemples d’attaques de protocoles
La recherche dans tout ca» ?
Signature ¶electronique
- v¶eriflable
- authentique
- non-r¶epudiation (je n’ai jamais
sign¶e ce texte...)
3/79 V¶eronique Cortier Protocoles cryptographiques - Cours 1Introduction
Terminologie
Exemples d’attaques de protocoles
La recherche dans tout ca» ?
Vote ¶electronique
Le r¶esultat re ete les votes
Chaque vote est confldentiel
On ne peut pas conna^‡tre des r¶esultats partiels
Seuls les ¶electeurs peuvent voter et une seule fois
4/79 V¶eronique Cortier Protocoles cryptographiques - Cours 1Introduction
Terminologie
Exemples d’attaques de protocoles
La recherche dans tout ca» ?
Paiement par carte bleue
Est-ce qu’il s’agit d’une vraie carte ?
Est-ce que le montant d¶ebit¶e sera ¶egal au montant cr¶edit¶e?
Est-ce que le code secret est bien prot¶eg¶e ?
5/79 V¶eronique Cortier Protocoles cryptographiques - Cours 1Introduction
Terminologie
Exemples d’attaques de protocoles
La recherche dans tout ca» ?
D¶ecodeurs
¡¡¡¡¡¡!
ˆ¡¡¡¡¡¡
V¶eriflcation ...