Échange de clés Diffie-Hellman

En cryptographie, l'échange de clés Diffie-Hellman, du nom de ses auteurs Whitfield Diffie et Martin Hellman, est une méthode, publiée en 1976, par laquelle deux agents, nommés par convention Alice et Bob, peuvent se mettre d'accord sur un nombre (qu'ils peuvent utiliser comme clé pour chiffrer la conversation suivante) sans qu'un troisième agent appelé Ève puisse découvrir le nombre, même en ayant écouté tous leurs échanges. Cette idée valut en 2015 aux deux auteurs le prix Turing.

Principe

Principe expliqué avec des couleurs 
Donnons d'abord une explication intuitive en faisant une analogie avec des couleurs. L'objectif est qu'Alice et Bob se mettent d'accord sur une couleur secrète, sans qu'Ève ne puisse la connaître. Cette explication est imagée et n'a pas de sens pratique, mais permet de comprendre l'essence de l'échange de clés Diffie-Hellman. On suppose que les agents peuvent mélanger des couleurs, mais qu'il est difficile (notamment pour Ève !) d'extraire les couleurs utilisées pour réaliser un mélange. Le principe est le suivant.

 Alice et Bob choisissent au préalable une peinture commune, ici le jaune. Cette couleur est connue de tous, y compris de l'intrus Ève.
 Alice choisit une autre couleur secrète (ici du rouge). Elle mélange la peinture commune et sa couleur secrète et obtient de l'orange. Alice envoie la couleur orange à Bob. La couleur orange est connue d'Ève.
 Bob fait de même : il choisit une couleur secrète (ici du cyan) qu'il mélange à la peinture commune et il obtient du bleu. Bob envoie sa couleur bleu à Alice. La couleur bleue est connue d'Ève.
 Alice prend la couleur reçue (le bleu) qu'elle mélange avec sa couleur secrète rouge. Elle obtient une couleur brune.
 Bob prend la couleur reçue (le orange) qu'il mélange avec sa couleur secrète cyan. Il obtient la même couleur brune.

À la fin du protocole, Alice et Bob possèdent la même couleur brune, qui représente la couleur secrète partagée. En supposant qu'il est difficile pour Ève d'extraire les couleurs utilisées pour obtenir les couleurs publiques orange et bleue, Ève ne connaît pas la couleur brune finale.

Dans le principe original décrit plus bas, un nombre premier p est choisi. Les  sont des nombres modulo p. Le mélange de deux couleurs consiste à élever un nombre à une certaine puissance modulo p. Retrouver les couleurs utilisées dans un mélange correspond à inverser l'exponentiation, qui est un problème algorithmique difficile.

Principe original 
Nous décrivons le principe original.
 Alice  et Bob ont choisi un nombre premier  et un générateur  du groupe Z/pZ strictement plus petit que  (ils peuvent aussi, comme montré sur la figure, ne décider de ce choix qu'au moment de l'échange et se le communiquer en clair, ce qui n'améliore pas les chances d'Ève) ;
 Alice choisit un nombre  au hasard, et envoie à Bob le nombre  (« g puissance a modulo p ») ;
 De même, Bob choisit un nombre  au hasard, et transmet le nombre , ;
 Alice, avec le nombre  reçu de Bob, calcule . Elle obtient donc le nombre  ;
 Bob fait le calcul analogue avec le nombre  reçu d'Alice : . Il obtient , ce qui est le même nombre que celui obtenu par Alice.

À la fin du protocole, Alice et Bob obtiennent tous les deux le nombre  mais pas Ève. Puisqu'il est difficile d'inverser l'exponentiation dans un corps fini (ou sur une courbe elliptique), c’est-à-dire de calculer le logarithme discret, Ève ne peut pas découvrir ni calculer . Alice et Bob ont donc trouvé une clé secrète commune sans jamais se l'échanger et sans que personne puisse la calculer.

Dans la description ci-dessus, Alice et Bob travaillent dans le corps fini Z/pZ, ils échangeront les nombres modulo p. De manière générale, l'échange de clés Diffie-Hellman se généralise à un groupe fini cyclique quelconque (au lieu de se mettre d'accord sur un nombre premier p, ils se mettent d'accord sur un groupe fini). Ce groupe fini peut être un corps fini, dont ils n'utilisent que la multiplication, ou une courbe elliptique.

Exemple 

 Alice et Bob ont choisi un nombre premier p et une base g. Dans notre exemple,  et .
 Alice choisit un nombre secret , Bob choisit aussi un nombre secret 
 Alice envoie à Bob la valeur 
 Bob envoie à Alice la valeur 
 Alice peut maintenant calculer la clé secrète : 
 Bob fait de même et obtient la même clé qu'Alice : 

Dans la pratique, on pourra prendre un premier p de Sophie Germain (tel que q = 2p + 1 premier lui aussi) de grande taille et un générateur g dans Z/pZ (g est donc premier avec p-1).

Fondement mathématique 
La méthode utilise la notion de groupe, par exemple le groupe multiplicatif des entiers modulo p, où p est un nombre premier : dans ce cas, les opérations mathématiques (multiplication, puissance, division) sont effectuées modulo p, c'est-à-dire en ne conservant que le reste de la division euclidienne par p. La commutativité de la multiplication des entiers impliquant que (gb)a = g(ba) = g(ab) = (ga)b, les deux parties obtiennent bel et bien la même clé secrète.

La sécurité de ce protocole réside dans la difficulté du problème du logarithme discret : pour que Ève retrouve gab à partir de ga et gb, elle doit élever l'un ou l'autre à la puissance b ou à la puissance a respectivement. Mais déduire a (resp. b) de ga (resp. gb) est un problème que l'on ne sait pas résoudre efficacement dans le cas général. Ève est donc dans l'impossibilité (calculatoire) de déduire des seules informations ga, gb, g et p, la valeur de gab .

Il faut toutefois que le groupe de départ soit bien choisi et que les nombres utilisés soient suffisamment grands, pour éviter par exemple une attaque par recherche exhaustive. À l'heure actuelle, on utilise généralement des nombres premiers p de taille 2048 bits (de l'ordre de 600 chiffres en écriture décimale), pour lesquels la résolution du logarithme discret n'est pas considérée comme réalisable. Si une solution pratique pour résoudre un logarithme discret venait à apparaître, d'autres systèmes cryptographiques pourraient tomber, notamment le système de ElGamal, qui repose sur le même principe.

L'attaque de l'homme au milieu 
Ce protocole est vulnérable à « l'attaque de l'homme au milieu », qui implique un attaquant capable de lire et de modifier tous les messages échangés entre Alice et Bob et le fait qu'Alice ne s'assure pas qu'elle parle effectivement à Bob ainsi que le fait que Bob ne s'assure pas qu'il parle effectivement à Alice (absence d'authentification).

Cette attaque repose sur l'interception de ga  et gb, ce qui est faisable puisqu'ils sont échangés en clair ; l'élément g est connu par tous les agents. Pour retrouver les nombres a et b et ainsi casser complètement l'échange, il faudrait calculer le logarithme discret de ga  et gb, ce qui est impossible en pratique.

Mais un attaquant peut se placer entre Alice et Bob, intercepter la clé ga envoyée par Alice et envoyer à Bob une autre clé g<sup>a</sup>, se faisant passer pour Alice.
De même, il peut remplacer la clé gb envoyée par Bob à Alice par une clé g<sup>b'''</sup>, se faisant passer pour Bob.
L'attaquant communique ainsi avec Alice en utilisant la clé partagée g<sup>ab</sup> et communique avec Bob en utilisant la clé partagée g''a'b, Alice et Bob croient communiquer directement. C'est ce que l'on appelle « attaque de l'homme au milieu ».

Alice et Bob croient ainsi avoir échangé une clé secrète alors qu'en réalité ils ont chacun échangé une clé secrète avec l'attaquant, l'homme au milieu.

Solution 
La parade classique à cette attaque intègre dans chaque message une authentification, qui peut, par exemple consister à signer les échanges de valeurs à l'aide d'une paire de clés asymétriques certifiées par une tierce partie fiable, ou dont les moitiés publiques ont été échangées auparavant par les deux participants. Alice peut ainsi être assurée que la clé qu'elle reçoit provient effectivement de Bob, et réciproquement pour Bob.

Références

Voir aussi

Bibliographie

Articles connexes 
 Complexité algorithmique
 Cryptographie asymétrique
 Ralph Merkle
 Chiffrement RSA
 Chiffrement El Gamal
 Keyed-Hash Message Authentication Code (HMAC)

Gestion de clé
Protocole cryptographique