1
00:00:03,620 --> 00:00:10,860
 Bonjour et bienvenue dans cette vidÃ©o
 intitulÃ©e DÃ©rivation WPA3 SAE PMK.

2
00:00:10,860 --> 00:00:15,580
 Comme le titre l'indique, dans cette
 vidÃ©o, nous allons aborderâ¦

3
00:00:15,580 --> 00:00:23,000
 les dÃ©tails sanglants de la faÃ§on dont
 le PMK est dÃ©rivÃ© avec WPA3 SAE.

4
00:00:23,000 --> 00:00:27,140
 Je tiens Ã  prÃ©ciser d'emblÃ©e qu'avec
 le WPA3 SAE, il existe en rÃ©alitÃ©

5
00:00:27,140 --> 00:00:31,920
 quelque chose qui est dÃ©rivÃ© avant la clÃ©
 maÃ®tresse par paire, qui est quelque chose

6
00:00:31,920 --> 00:00:33,860
 appelÃ© un secret partagÃ©.

7
00:00:33,860 --> 00:00:36,860
 On va donc vraiment approfondir la
 maniÃ¨re dont ce secret partagÃ©

8
00:00:36,860 --> 00:00:41,460
 est dÃ©rivÃ©e. Et une fois celle-ci crÃ©Ã©e, la
 clÃ© maÃ®tresse par paire peut Ãªtre dÃ©rivÃ©e.

9
00:00:41,460 --> 00:00:44,760
 Nous allons donc faire
 un bref rÃ©capitulatif.

10
00:00:44,760 --> 00:00:51,400
 Nous savons donc qu'avec le WPA2, il n'y avait
 en rÃ©alitÃ© que l'authentification 2802.11.

11
00:00:51,400 --> 00:00:54,980
 Voici les messages Ã©changÃ©s, que
 nous pouvons consulter ici.

12
00:00:54,980 --> 00:00:59,140
 Le client enverrait donc un message
 d'authentification au point d'accÃ¨s.

13
00:00:59,140 --> 00:01:03,260
 et l'algorithme d'authentification
 Ã©tait simplement un systÃ¨me ouvert.

14
00:01:03,260 --> 00:01:07,360
 Et regardez Ã§a, le code d'Ã©tat
 d'authentification a rÃ©ussi.

15
00:01:07,360 --> 00:01:11,060
 Le client disait donc dÃ©jÃ  : Â« HÃ©, mon
 authentification a dÃ©jÃ  rÃ©ussi. Â»

16
00:01:11,060 --> 00:01:15,600
 Il s'agit tout simplement d'une vieille
 habitude hÃ©ritÃ©e d'il y a longtemps.

17
00:01:15,600 --> 00:01:19,300
 oÃ¹ j'ai dit : Â« Ãcoutez, nous devons Ã©changer
 des messages d'authentification Â», c'est tout.

18
00:01:19,300 --> 00:01:21,580
 Un peu comme si c'Ã©tait
 intÃ©grÃ© Ã  la norme.

19
00:01:21,580 --> 00:01:25,800
 Mais ils ont dÃ©cidÃ© il y a longtemps que nous
 n'allions pas procÃ©der Ã  l'authentification.

20
00:01:25,800 --> 00:01:30,840
 Juste ici. L'authentification aura
 lieu juste aprÃ¨s l'association.

21
00:01:30,840 --> 00:01:36,260
 C'est terminÃ©. Donc, il s'agit en
 quelque sorte d'une suite logique.

22
00:01:36,260 --> 00:01:39,600
 Et vous pouvez voir ici que le point
 d'accÃ¨s a renvoyÃ© un message Ã 

23
00:01:39,600 --> 00:01:41,800
 le client avec un autre message
 d'authentification.

24
00:01:41,800 --> 00:01:46,740
 L'algorithme d'authentification, basÃ© sur un systÃ¨me
 ouvert, confirme : Â« Oui, tout est en ordre. Â»

25
00:01:46,740 --> 00:01:50,340
 Mais en rÃ©alitÃ©, aucune authentification
 n'avait lieu ici.

26
00:01:50,340 --> 00:01:55,420
 Aucun des deux camps ne faisait quoi que
 ce soit pour authentifier l'autre.

27
00:01:55,420 --> 00:02:00,600
 Eh bien, avec le WPA3 personnel,
 Ã©galement appelÃ© simultanÃ©

28
00:02:00,600 --> 00:02:04,320
 L'authentification par les
 pairs, ils ont changÃ© Ã§a.

29
00:02:04,320 --> 00:02:08,160
 Ils ont dit : Â« Ãcoutez, nous allons authentifier
 chaque partie, c'est bien Ã§a ? Â»

30
00:02:08,160 --> 00:02:10,460
 ici, Ã  l'Ã©tape d'authentification.

31
00:02:10,460 --> 00:02:15,160
 Et nous allons utiliser cela pour crÃ©er
 notre clÃ© maÃ®tresse par paire.

32
00:02:15,160 --> 00:02:18,980
 L'une des mesures qu'ils ont prises pour changer
 cela a donc Ã©tÃ© d'augmenter cette valeur.

33
00:02:18,980 --> 00:02:21,420
 Deux messages Ã  quatre messages.

34
00:02:21,420 --> 00:02:23,380
 Et vous pouvez les voir juste ici.

35
00:02:23,380 --> 00:02:28,300
 Et vous pouvez Ã©galement constater que dans l'algorithme
 d'authentification, ils ont changÃ©

36
00:02:28,300 --> 00:02:32,260
 il s'agit d'une authentification
 simultanÃ©e d'Ã©gaux.

37
00:02:32,260 --> 00:02:33,680
 Vous pouvez donc le constater ici mÃªme.

38
00:02:33,680 --> 00:02:36,100
 Il n'est plus indiquÃ© Â« authentification
 ouverte Â».

39
00:02:36,100 --> 00:02:40,100
 Il est maintenant indiquÃ© version
 trois, qui est S A E.

40
00:02:40,100 --> 00:02:44,180
 D'accord. Et dans ces quatre Ã©changes
 de messages, il y a en faitâ¦

41
00:02:44,180 --> 00:02:45,540
 Il y a plein de choses ici.

42
00:02:45,540 --> 00:02:49,540
 Il existe par exemple ce qu'on appelle un
 scalaire et un Ã©lÃ©ment de champ fini.

43
00:02:49,540 --> 00:02:53,660
 Et nous allons aborder les dÃ©tails
 de cela dans cette vidÃ©o.

44
00:02:53,660 --> 00:02:58,080
 Juste ici. Je vais vous
 prÃ©venir tout de suite.

45
00:02:58,080 --> 00:03:03,020
 Si votre objectif en regardant ces
 vidÃ©os est simplement d'apprendreâ¦

46
00:03:03,020 --> 00:03:15,280
 Il vous suffit d'avoir au minimum une certification NA ou
 un examen CCMP sans fil, et vous pourrez vous arrÃªter lÃ .

47
00:03:15,280 --> 00:03:16,680
 maintenant dans cette vidÃ©o.

48
00:03:16,680 --> 00:03:19,540
 Tout ce que je vais aborder dans cette
 vidÃ©o se trouvera au-dessus.

49
00:03:19,540 --> 00:03:23,220
 et au-delÃ  de ce que vous devez
 simplement savoir pour rÃ©ussir.

50
00:03:23,220 --> 00:03:24,980
 un examen de certification.

51
00:03:24,980 --> 00:03:27,440
 Vous vous demandez peut-Ãªtre : Â« Keith,
 pourquoi as-tu crÃ©Ã© cette vidÃ©o ? Â»

52
00:03:27,440 --> 00:03:28,800
 et tout d'abord ?

53
00:03:28,800 --> 00:03:34,800
 Eh bien, si j'ai une approche d'ingÃ©nieur,
 je vais jeter un Åil Ã  Ã§a.

54
00:03:34,800 --> 00:03:38,160
 et je serai naturellement
 curieux de tout.

55
00:03:38,160 --> 00:03:43,160
 Je me demanderai, genre, d'accord, pourquoi avons-nous
 besoin de quatre messages exactement ?

56
00:03:43,160 --> 00:03:46,620
 D'accord, je comprends que les deux premiers
 messages sont appelÃ©s commit.

57
00:03:46,620 --> 00:03:49,500
 Les deux derniers messages
 sont appelÃ©s confirmation.

58
00:03:49,500 --> 00:03:53,440
 Et peut-Ãªtre que si je rÃ©visais pour un examen de
 certification, ce serait tout ce que je ferais.

59
00:03:53,440 --> 00:03:57,600
 J'ai besoin de savoir. Mais pour moi, avec mon Ã©tat
 d'esprit, je suis naturellement curieux de savoir,

60
00:03:57,600 --> 00:04:02,460
 Eh bien, qu'est-ce qui diffÃ©rencie les messages
 de commit des messages de confirmationÂ ?

61
00:04:02,460 --> 00:04:05,940
 Et si je fais une analyse de trafic rÃ©seau, comme
 je viens de le faire, je remarquerai que le

62
00:04:05,940 --> 00:04:10,780
 Les messages de commit contiendront des Ã©lÃ©ments
 tels qu'un scalaire et un corps fini.

63
00:04:10,780 --> 00:04:14,620
 Ã©lÃ©ments qui ne figurent pas dans
 les messages de confirmation.

64
00:04:14,620 --> 00:04:16,600
 Le message de confirmation
 contient autre chose.

65
00:04:16,600 --> 00:04:19,660
 Et je me demande naturellement, eh bien,
 comment s'appellent ces choses ?

66
00:04:19,660 --> 00:04:21,560
 scalaire et corps fini ?

67
00:04:21,560 --> 00:04:22,920
 Ã quoi servent-ils ?

68
00:04:22,920 --> 00:04:27,300
 Pourquoi est-ce important dans tout l'Ã©change
 de libellules, Ã©galement connu sous le nom de

69
00:04:27,300 --> 00:04:29,500
 SAE, que nous avons ceux-ci ?

70
00:04:29,500 --> 00:04:33,500
 Cette vidÃ©o a donc pour but de rÃ©pondre
 Ã  ceux d'entre vous qui se demandentâ¦

71
00:04:33,500 --> 00:04:36,940
 Je suis un peu curieux de savoir
 ce que sont ces messages ?

72
00:04:36,940 --> 00:04:38,820
 Que contiennent-ils exactement ?

73
00:04:38,820 --> 00:04:43,720
 Et que sont ces champs ici, sans entrer
 dans des dÃ©tails sordides ?

74
00:04:43,720 --> 00:04:46,640
 Des mathÃ©matiques vraiment
 poussÃ©es Ã  l'extrÃªme ?

75
00:04:46,640 --> 00:04:48,540
 Et voilÃ  Ã  quoi Ã§a sert.

76
00:04:48,540 --> 00:04:52,380
 Parce que pour moi, une fois que je prends du recul
 par rapport Ã  tout Ã§a, je comprends vraiment ce que

77
00:04:52,380 --> 00:04:56,140
 Ces champs sont et ce qui diffÃ©rencie rÃ©ellement
 un message de commit d'un autre

78
00:04:56,140 --> 00:05:06,520
 Un message de confirmation, je ressens un petit quelque chose en
 plus, au-delÃ  de ce qu'est un simple message de confirmation.

79
00:05:06,520 --> 00:05:10,920
 L'examen de certification pourrait me
 poser une question Ã  choix multiples.

80
00:05:10,920 --> 00:05:17,140
 Ceci Ã©tant dit, poursuivons ici mÃªme.

81
00:05:17,140 --> 00:05:26,080
 D'accord. Donc, avec le WPA3, l'un des objectifs
 Ã©tait que nous savons que l'un des

82
00:05:26,080 --> 00:05:31,420
 Ce qui rendait le WPA2 mauvais, ou plutÃ´t
 un peu peu sÃ©curisÃ©, c'est queâ¦

83
00:05:31,420 --> 00:05:37,820
 Tout le monde utilise la mÃªme phrase de passe pour se
 connecter au rÃ©seau local sans fil, comme coffee123.

84
00:05:37,820 --> 00:05:40,560
 Eh bien, c'est la mÃªme chose
 avec WPA3, n'est-ce pas ?

85
00:05:40,560 --> 00:05:44,340
 Vous en rencontrerez lors de la configuration
 d'un rÃ©seau sans fil personnel WPA3.

86
00:05:44,340 --> 00:05:48,860
 LAN, que ce soit via le cÃ¢ble de votre
 point d'accÃ¨s ou l'interface web de

87
00:05:48,860 --> 00:05:51,040
 votre manette ou quoi
 que ce soit d'autre.

88
00:05:51,040 --> 00:05:53,900
 L'une des premiÃ¨res choses que vous devrez
 saisir est une phrase de passe.

89
00:05:53,900 --> 00:05:55,040
 pour le rÃ©seau local sans fil.

90
00:05:55,040 --> 00:05:58,700
 Les personnages deux et trois partagent
 donc une mÃªme phrase secrÃ¨te.

91
00:05:58,700 --> 00:06:02,720
 L'une des diffÃ©rences, cependant, rÃ©side dans le fait
 que, dans une vidÃ©o prÃ©cÃ©dente, nous avons parlÃ© de

92
00:06:02,720 --> 00:06:11,440
 Avec le WPA2, il existe une formule
 appelÃ©e P BKDRF2, je crois.

93
00:06:11,440 --> 00:06:16,060
 J'ai la fonctionnalitÃ© adÃ©quate, ce
 qui a eu pour consÃ©quence de prendre

94
00:06:16,060 --> 00:06:20,100
 cette phrase secrÃ¨te et en tirer
 une paire de clÃ©s maÃ®tresses.

95
00:06:20,100 --> 00:06:24,380
 Mais le problÃ¨me Ã©tait que tout le monde possÃ©dait
 la mÃªme clÃ© maÃ®tresse par paire.

96
00:06:24,380 --> 00:06:25,820
 Ils l'ont tous partagÃ©.

97
00:06:25,820 --> 00:06:28,640
 L'avantage, c'est que la clÃ© maÃ®tresse
 par paire n'est pas utilisÃ©e pourâ¦

98
00:06:28,640 --> 00:06:30,040
 Chiffrer et dÃ©chiffrer des donnÃ©es.

99
00:06:30,040 --> 00:06:34,340
 Nous devons effectuer d'autres fonctions de dÃ©rivation
 clÃ©s jusqu'Ã  ce que finalement nous

100
00:06:34,340 --> 00:06:38,340
 AccÃ©dez Ã  la clÃ© temporelle, la TK, et c'est
 elle qui sert rÃ©ellement Ã  chiffrer.

101
00:06:38,340 --> 00:06:40,120
 et dÃ©crypter nos donnÃ©es.

102
00:06:40,120 --> 00:06:42,220
 Mais tout commence avec le PMK.

103
00:06:42,220 --> 00:06:47,040
 Donc si tout le monde a exactement le mÃªme
 PMK, ce n'est pas bon signe, n'est-ce pas ?

104
00:06:47,040 --> 00:06:52,660
 Dans un monde oÃ¹ la sÃ©curitÃ© serait optimale, chaque
 personne possÃ©derait une clÃ© diffÃ©rente.

105
00:06:52,660 --> 00:06:57,060
 Nous n'aurions pas un jeu de clÃ©s partagÃ©
 entre les mÃªmes groupes de personnes.

106
00:06:57,060 --> 00:06:59,880
 C'Ã©tait donc l'un des problÃ¨mes du WPA2.

107
00:06:59,880 --> 00:07:05,740
 WPA3 a donc dÃ©clarÃ© que nous devions crÃ©er
 une clÃ© maÃ®tresse unique par paire pour

108
00:07:05,740 --> 00:07:07,280
 chaque individu.

109
00:07:07,280 --> 00:07:09,040
 Ils ne devraient pas tous
 avoir la mÃªme chose.

110
00:07:09,040 --> 00:07:12,400
 Et donc, il s'agit maintenant de
 savoir comment cela se produit ?

111
00:07:12,400 --> 00:07:16,540
 Comment gÃ©nÃ©rer une clÃ© maÃ®tresse unique
 par paire lorsque nous avons, quand

112
00:07:16,540 --> 00:07:20,780
 Nous commenÃ§ons par un secret partagÃ©
 qui est le mÃªme, comme le cafÃ©, un,

113
00:07:20,780 --> 00:07:25,380
 deux, trois, ou Cisco, un, deux, trois,
 quel que soit le mot de passe WPA3,

114
00:07:25,380 --> 00:07:29,020
 comment pouvons-nous accÃ©der Ã  ce mÃªme mot
 de passe partagÃ© que tout le monde saisit ?

115
00:07:29,020 --> 00:07:34,720
 comment se connecter au rÃ©seau local sans fil
 avec une clÃ© maÃ®tresse unique par paireÂ ?

116
00:07:34,720 --> 00:07:39,500
 Et pour ce faire, nous devons trouver
 un secret unique et partagÃ©.

117
00:07:39,500 --> 00:07:42,360
 avant la clÃ© maÃ®tresse par paire.

118
00:07:42,360 --> 00:07:45,980
 Et c'est prÃ©cisÃ©ment ce dont cette
 vidÃ©o va parler : pendant

119
00:07:45,980 --> 00:07:53,020
 que, ce processus d'engagement et de confirmation
 de SAE, l'objectif final ultime de

120
00:07:53,020 --> 00:07:59,380
 Il s'agit de trouver un chemin secret
 partagÃ©, un nombre secret partagÃ©.

121
00:07:59,380 --> 00:08:03,780
 Et c'est ce qui est unique entre
 ce client et ce point d'accÃ¨s.

122
00:08:03,780 --> 00:08:08,160
 Ainsi, chaque client aura un secret partagÃ©
 diffÃ©rent Ã  la fin de son contrat.

123
00:08:08,160 --> 00:08:11,100
 Ãchange de messages SAE Ã  quatre voies.

124
00:08:11,100 --> 00:08:16,080
 Et puis, Ã  partir de ce secret partagÃ©,
 Ã©laborÃ© spÃ©cialement pour cette session,

125
00:08:16,080 --> 00:08:20,360
 Ils peuvent ensuite en dÃ©duire la
 clÃ© maÃ®tresse par paire, qui sera

126
00:08:20,360 --> 00:08:24,860
 Ã©videmment unique car le secret partagÃ©
 a Ã©tÃ© dÃ©couvert avant cela

127
00:08:24,860 --> 00:08:26,660
 Ã©tait Ã©galement unique.

128
00:08:26,660 --> 00:08:29,400
 Alors, comment procÃ©der ?

129
00:08:29,400 --> 00:08:35,460
 Le WPA3 supprime donc en quelque sorte toute
 cette fonction PBK DRF2 et arrive Ã 

130
00:08:35,460 --> 00:08:42,060
 et partager un autre secret.

131
00:08:42,060 --> 00:08:47,820
 Et son fonctionnement ressemble beaucoup
 Ã  celui de Diffie-Hellman.

132
00:08:47,820 --> 00:08:53,260
 Concernant l'accord Diffie-Hellman, nous disposons de
 certaines informations publiques connues que nous

133
00:08:53,260 --> 00:08:57,180
 calculer mathÃ©matiquement avec notre grand nombre
 alÃ©atoire et quelques nombres premiers

134
00:08:57,180 --> 00:08:59,940
 pour calculer la clÃ© maÃ®tresse par paire.

135
00:08:59,940 --> 00:09:05,980
 Donc, les changements consistent Ã  modifier les nombres
 alÃ©atoires Ã  chaque authentification successive.

136
00:09:05,980 --> 00:09:11,360
 tentative, qui aboutit Ã  un nouveau secret
 partagÃ© unique et Ã  un maÃ®tre par paire.

137
00:09:11,360 --> 00:09:14,760
 Ne vous inquiÃ©tez pas. Nous allons
 aborder ce point en dÃ©tail.

138
00:09:14,760 --> 00:09:20,160
 CommenÃ§ons donc par un rappel des
 notions d'arithmÃ©tique modulaire.

139
00:09:20,160 --> 00:09:22,800
 Permettez-moi de vous
 montrer quelque chose.

140
00:09:22,800 --> 00:09:35,100
 Si je vous montrais quelque chose comme 32 ceci, d'accord,
 si je vous disais, dÃ©brouillez-vous avec Ã§a

141
00:09:35,100 --> 00:09:38,480
 pour moi, 32, 32, modulo cinq.

142
00:09:38,480 --> 00:09:41,720
 Si vous savez dÃ©jÃ  comment faire, vous pouvez
 passer directement Ã  la diapositive suivante.

143
00:09:41,720 --> 00:09:45,020
 VoilÃ , avancez rapidement et passez
 Ã  la diapositive suivante.

144
00:09:45,020 --> 00:09:48,700
 Mais si vous demandez : que signifie
 modulo et qu'est-ce que c'est ?

145
00:09:48,700 --> 00:09:50,660
 Comment faire ?

146
00:09:50,660 --> 00:09:53,460
 Eh bien, dans ce cas, vous
 Ãªtes au bon endroit.

147
00:09:53,460 --> 00:09:57,420
 TrÃ¨s bien, faisons un rÃ©capitulatif
 de l'arithmÃ©tique modulaire.

148
00:09:57,420 --> 00:10:03,540
 Parfois, vous souhaitez crÃ©er un algorithme
 ou une fonction qui divise

149
00:10:03,540 --> 00:10:09,520
 les nombres par une certaine valeur, X, et dans
 les exemples prÃ©cÃ©dents X et les exemples

150
00:10:09,520 --> 00:10:12,880
 En dessous du X se trouvera
 le chiffre quatre.

151
00:10:12,880 --> 00:10:15,880
 Et ensuite, aprÃ¨s avoir divisÃ© les nombres
 par cette certaine valeur, vous allez

152
00:10:15,880 --> 00:10:17,340
 avoir un reste quelconque.

153
00:10:17,340 --> 00:10:20,940
 Supposons que le reste soit Y et que vous
 souhaitiez effectivement prendre ce reste.

154
00:10:20,940 --> 00:10:25,460
 et intÃ©grez cela dans votre
 formule ou votre algorithme.

155
00:10:25,460 --> 00:10:28,500
 Vous ne cherchez donc pas rÃ©ellement
 ce par quoi vous le divisez.

156
00:10:28,500 --> 00:10:31,640
 Vous cherchez Ã  connaÃ®tre le
 reste de cette division.

157
00:10:31,640 --> 00:10:34,860
 Et nous appelons cela l'arithmÃ©tique
 modulaire.

158
00:10:34,860 --> 00:10:39,340
 Par exemple, ici, 25 divisÃ© par
 quatre Ã©gale six avec un reste

159
00:10:39,340 --> 00:10:45,080
 de un. Si nous divisons 34 par quatre,
 nous obtenons huit avec un reste.

160
00:10:45,080 --> 00:10:50,240
 de deux et 31 divisÃ© par quatre donne
 sept avec un reste de trois.

161
00:10:50,240 --> 00:10:54,180
 Et peut-Ãªtre est-ce ces restes que nous
 voulons intÃ©grer Ã  notre formule

162
00:10:54,180 --> 00:10:56,460
 ou notre algorithme.

163
00:10:56,460 --> 00:11:04,140
 Donc, lorsque nous crÃ©ons une expression
 mathÃ©matique qui recherche le

164
00:11:04,140 --> 00:11:09,580
 Le reste de quelque chose, c'est ce qu'on appelle
 les expressions modulaires ou modulo.

165
00:11:09,580 --> 00:11:17,800
 Donc dans ce cas, nos valeurs de 25,
 34 et 31, si nous l'appliquons contre

166
00:11:17,800 --> 00:11:24,080
 modulo quatre, ce par quoi nous
 divisons, donnera les restes

167
00:11:24,080 --> 00:11:24,980
 nous recherchons.

168
00:11:24,980 --> 00:11:28,440
 Cela s'exprime gÃ©nÃ©ralement mathÃ©matiquement,
 par exemple si l'on regarde

169
00:11:28,440 --> 00:11:34,540
 Au premier exemple, 25 modulo
 quatre nous donnera un.

170
00:11:34,540 --> 00:11:39,780
 Cela signifie donc que nous prenons un nombre
 et que nous le divisons par un autre.

171
00:11:39,780 --> 00:11:44,300
 numÃ©ro quatre dans ce cas, et nous
 cherchons Ã  dÃ©terminer le reste.

172
00:11:44,300 --> 00:11:50,860
 VoilÃ  comment on rÃ©sout cette expression,
 soit 34 % quatre ou 34 modulo

173
00:11:50,860 --> 00:11:57,320
 4 serait Ã©gal Ã  2, 31 modulo 4
 serait Ã©gal Ã  3, n'est-ce pas ?

174
00:11:57,320 --> 00:11:58,620
 Nous recherchons le reste.

175
00:11:58,620 --> 00:12:02,420
 Ce type d'expression permet
 donc de calculer le reste.

176
00:12:02,420 --> 00:12:06,740
 Ce sera donc important lorsque nous aborderons
 l'arrÃªt Diffie-Hellman, puisâ¦

177
00:12:06,740 --> 00:12:09,160
 En fin de compte, c'est
 ainsi que SAE procÃ¨de.

178
00:12:09,160 --> 00:12:12,220
 Alors, passons en revue le manuel
 classique Diffie-Hellman.

179
00:12:12,220 --> 00:12:14,920
 Vous avez le pair A et le pair B.

180
00:12:14,920 --> 00:12:19,980
 L'objectif de l'Ã©change de nombres de Diffie-Hellman est d'utiliser
 de grands nombres premiers et d'exploiter les modules.

181
00:12:19,980 --> 00:12:24,320
 Nous allons maintenant passer en revue les opÃ©rations arithmÃ©tiques
 que nous venons de revoir dans la diapositive prÃ©cÃ©dente.

182
00:12:24,320 --> 00:12:28,860
 Ã©laborer une valeur secrÃ¨te partagÃ©e
 sans jamais l'Ã©changer.

183
00:12:28,860 --> 00:12:31,080
 valeur secrÃ¨te mise au clair.

184
00:12:31,080 --> 00:12:36,140
 Nous voulons donc que les pairs A et B
 dÃ©finissent un nombre secret partagÃ©.

185
00:12:36,140 --> 00:12:40,580
 Et si quelqu'un examinait rÃ©ellement
 les transactions entre pairs A

186
00:12:40,580 --> 00:12:45,580
 et leur homologue B, ils ne verront jamais
 rÃ©ellement cette valeur secrÃ¨te partagÃ©e.

187
00:12:45,580 --> 00:12:48,360
 Voici comment fonctionne
 l'Ã©change Diffie-Hellman.

188
00:12:48,360 --> 00:12:52,620
 Nous commenÃ§ons avec trois valeurs.

189
00:12:52,620 --> 00:12:56,120
 Deux d'entre elles sont
 donc bien connues.

190
00:12:56,120 --> 00:12:59,340
 Nous avons donc une sorte de gÃ©nÃ©rateur,
 une sorte de nombre de base, qui est

191
00:12:59,340 --> 00:13:00,160
 appelÃ© gÃ©nÃ©rateur.

192
00:13:00,160 --> 00:13:02,220
 Nous l'appellerons simplement G ici.

193
00:13:02,220 --> 00:13:07,280
 Nous avons un module, qui est comme
 dans l'exemple prÃ©cÃ©dent, le module

194
00:13:07,280 --> 00:13:08,480
 Il y avait quatre ans, n'est-ce pas ?

195
00:13:08,480 --> 00:13:11,160
 Nous divisions ces trois
 Ã©quations par quatre.

196
00:13:11,160 --> 00:13:13,640
 Nous avons donc un module
 statique bien connu.

197
00:13:13,640 --> 00:13:20,220
 Et puis, ce qui est gardÃ© secret, ce que les deux
 parties ignorent, c'est un certain hasard

198
00:13:20,220 --> 00:13:22,240
 exposant sÃ©lectionnÃ©.

199
00:13:22,240 --> 00:13:26,740
 Donc, pour chaque session, cet exposant
 prendra une nouvelle valeur.

200
00:13:26,740 --> 00:13:30,840
 Et le pair A aura son propre
 exposant, et le pair B aura

201
00:13:30,840 --> 00:13:31,780
 son propre reprÃ©sentant.

202
00:13:31,780 --> 00:13:34,000
 Donc, voici A et B.

203
00:13:34,000 --> 00:13:37,740
 TrÃ¨s bien, alors comment allons-nous utiliser
 ces Ã©lÃ©ments pour trouver un secret commun ?

204
00:13:37,740 --> 00:13:39,920
 une valeur qui est la
 mÃªme pour les deux ?

205
00:13:39,920 --> 00:13:42,500
 Voici donc le calcul initial.

206
00:13:42,500 --> 00:13:48,760
 Chaque camp prendra son gÃ©nÃ©rateur,
 sa valeur G, d'accord ?

207
00:13:48,760 --> 00:13:53,280
 Et ils diront G Ã  la puissance
 de leur exposant.

208
00:13:53,280 --> 00:13:59,060
 Donc, le pair A dit G Ã  la puissance de son
 exposant, le pair B prend G Ã  la puissance

209
00:13:59,060 --> 00:14:00,840
 de son exposant.

210
00:14:00,840 --> 00:14:06,900
 Maintenant, quoi que ce soit, nous l'appliquerons
 ensuite au modulo M, d'accord ?

211
00:14:06,900 --> 00:14:08,920
 Et cela nous donnera des rÃ©sultats.

212
00:14:08,920 --> 00:14:14,380
 Donc A dira G Ã  la puissance de mon exposant,
 modulo M me donnera un certain

213
00:14:14,380 --> 00:14:19,000
 le rÃ©sultat, qui sera notÃ© A majuscule,
 et la mÃªme chose se produit sur

214
00:14:19,000 --> 00:14:23,540
 VoilÃ . Ce sont donc les clÃ©s
 publiques de dÃ©part.

215
00:14:23,540 --> 00:14:29,680
 Le pair A enverra donc au pair B le rÃ©sultat
 de sa formule, A dans ce cas.

216
00:14:29,680 --> 00:14:31,780
 Il dira que c'est ma clÃ© publique.

217
00:14:31,780 --> 00:14:34,180
 Et le pair B fera la mÃªme chose.

218
00:14:34,180 --> 00:14:38,420
 Il dira : Â« HÃ©, pair A, laisse-moi te
 dire quelle est ma clÃ© publique. Â»

219
00:14:38,420 --> 00:14:42,420
 Nous n'avons pas encore dÃ©couvert le secret
 partagÃ©, mais nous nous en approchons.

220
00:14:42,420 --> 00:14:47,340
 Chaque partie va maintenant effectuer un
 calcul secret partagÃ© pour parvenir Ã 

221
00:14:47,340 --> 00:14:49,580
 S, qui est leur valeur secrÃ¨te partagÃ©e.

222
00:14:49,580 --> 00:14:51,160
 Comment font-ils cela ?

223
00:14:51,160 --> 00:14:57,520
 Le pair A prend donc la clÃ© publique
 qu'il a reÃ§ue de B, qui est B ici.

224
00:14:57,520 --> 00:15:01,320
 Il dit : Â« D'accord, je vais prendre
 B Ã  la puissance de mon exposant. Â»

225
00:15:01,320 --> 00:15:05,160
 Comme prÃ©cÃ©demment, j'ai Ã©levÃ© G
 Ã  la puissance de mon exposant.

226
00:15:05,160 --> 00:15:09,040
 Je vais faire la mÃªme chose, B
 Ã  la puissance de mon exposant.

227
00:15:09,040 --> 00:15:13,560
 Reprenez toute l'Ã©quation modulo
 M, et vous obtiendrez une valeur.

228
00:15:13,560 --> 00:15:16,960
 VoilÃ  mon secret partagÃ©,
 car devinez quoi ?

229
00:15:16,960 --> 00:15:24,820
 Si, de l'autre cÃ´tÃ©, le pair B prend la
 clÃ© publique de A, qui est A, pour le

230
00:15:24,820 --> 00:15:32,400
 La puissance de son propre exposant, qui est
 B, modulo M donnera exactement la mÃªme chose

231
00:15:32,400 --> 00:15:35,680
 valeur en tant que secret partagÃ©.

232
00:15:35,680 --> 00:15:38,220
 Essayons vous-mÃªme.

233
00:15:38,220 --> 00:15:40,460
 Je veux donc que vous
 le fassiez vous-mÃªme.

234
00:15:40,460 --> 00:15:43,640
 Alors, mettez cette vidÃ©o en pause, et
 je veux que vous preniez, disons, ce

235
00:15:43,640 --> 00:15:48,000
 Les deux camps s'accordent plus ou moins sur
 le fait que leur gÃ©nÃ©rateur sera le numÃ©ro

236
00:15:48,000 --> 00:15:50,680
 cinq, donc ce sera G.

237
00:15:50,680 --> 00:15:56,020
 Leur module sera de 23, ce
 sera donc la valeur M ici.

238
00:15:56,020 --> 00:16:00,620
 Et Ã  gauche, je veux que l'exposant
 alÃ©atoire soit sept, et Ã  droite,

239
00:16:00,620 --> 00:16:04,320
 Ã droite, je veux que l'exposant
 alÃ©atoire soit Ã©gal Ã  11.

240
00:16:04,320 --> 00:16:08,880
 Essayez de dÃ©terminer quelle serait
 la valeur secrÃ¨te partagÃ©e.

241
00:16:08,880 --> 00:16:11,460
 Pour cela, mettez la vidÃ©o en pause un instant. Si
 vous n'y parvenez pas, n'hÃ©sitez pas Ã  la relancer.

242
00:16:11,460 --> 00:16:14,240
 DÃ©brouille-toi, c'est pas grave, parce
 que quand tu lanceras la vidÃ©o, je vais

243
00:16:14,240 --> 00:16:15,560
 pour vous accompagner tout
 au long du processus.

244
00:16:15,560 --> 00:16:24,040
 Mais mettez la vidÃ©o en pause et essayez
 de le dÃ©couvrir par vous-mÃªme.

245
00:16:24,040 --> 00:16:26,380
 TrÃ¨s bien, alors commenÃ§ons
 Ã  analyser cela.

246
00:16:26,380 --> 00:16:30,000
 La premiÃ¨re Ã©tape consisterait
 donc Ã  rÃ©soudre l'Ã©quation.

247
00:16:30,000 --> 00:16:34,980
 Donc, du cÃ´tÃ© gauche, P ou A, il va
 prendre cinq, parce que c'Ã©tait

248
00:16:34,980 --> 00:16:37,880
 le gÃ©nÃ©rateur, Ã  la puissance
 de son nombre alÃ©atoire.

249
00:16:37,880 --> 00:16:41,660
 Dans ce cas prÃ©cis, il y en avait sept.

250
00:16:41,660 --> 00:16:44,000
 Le modulo 23 vous donnera 17.

251
00:16:44,000 --> 00:16:45,860
 Tu demandes, Keith, comment
 t'es venue cette idÃ©e ?

252
00:16:45,860 --> 00:16:49,020
 Eh bien, utilisons simplement une fonction
 de calculatrice pour cela.

253
00:16:49,020 --> 00:16:54,860
 Donc, pour notre calculatrice, nous allons devoir
 la convertir en calculatrice scientifique.

254
00:16:54,860 --> 00:16:57,800
 La notation. VoilÃ .

255
00:16:57,800 --> 00:17:00,380
 Et vous savez, utilisez la calculatrice
 que vous avez sous la main.

256
00:17:00,380 --> 00:17:04,700
 Je vais donc commencer par calculer cinq
 Ã  la puissance sept, car c'est pur.

257
00:17:04,700 --> 00:17:08,720
 L'exposant de A. Donc je
 fais simplement cinq.

258
00:17:08,720 --> 00:17:11,420
 Donc x, y ici est x Ã  la puissance y.

259
00:17:11,420 --> 00:17:17,860
 J'ai donc dÃ©jÃ  entrÃ© x,
 y, sept, Ã©gal, voilÃ .

260
00:17:17,860 --> 00:17:20,660
 Cela Ã©quivaut Ã  78 125.

261
00:17:20,660 --> 00:17:24,680
 Maintenant, je veux faire
 cela avec le modulo de 23.

262
00:17:24,680 --> 00:17:30,480
 Pour cela, je vais configurer ma calculatrice
 en mode programmeur dans ce cas prÃ©cis.

263
00:17:30,480 --> 00:17:34,880
 Dans ce cas, parce que Ã§a me fait
 intervenir comme modÃ©rateur ici.

264
00:17:34,880 --> 00:17:37,620
 Il sait donc que plus de 70 000, 125.

265
00:17:37,620 --> 00:17:44,640
 Donc je fais simplement : mod 23 = 17.

266
00:17:44,640 --> 00:17:46,780
 VoilÃ  comment j'ai obtenu ce numÃ©ro.

267
00:17:46,780 --> 00:17:50,700
 Et si je fais la mÃªme chose de
 l'autre cÃ´tÃ©, scientifiquement.

268
00:17:50,700 --> 00:17:58,520
 De l'autre cÃ´tÃ©, je vais
 faireâ¦ allons-y, par ici.

269
00:17:58,520 --> 00:18:05,640
 La base. Ã la puissance 11 dans ce
 cas, car il s'agit de B pur, ce

270
00:18:05,640 --> 00:18:08,220
 nous donne ce gros chiffre.

271
00:18:08,220 --> 00:18:11,220
 Et si je le change en programmeur.

272
00:18:11,220 --> 00:18:16,800
 Et je fais modulo 23.

273
00:18:16,800 --> 00:18:18,960
 Cela me donne le numÃ©ro 22.

274
00:18:18,960 --> 00:18:24,020
 VoilÃ  comment nous avons trouvÃ©
 les chiffres 17 et 22.

275
00:18:24,020 --> 00:18:26,980
 Maintenant, il nous faut trouver
 notre secret commun.

276
00:18:26,980 --> 00:18:33,420
 Nous procÃ©dons ainsi. Nous prenons le numÃ©ro
 que nous avons reÃ§u de notre collÃ¨gue.

277
00:18:33,420 --> 00:18:37,940
 Donc, a reÃ§u 22 de son pair.

278
00:18:37,940 --> 00:18:39,820
 Exactement. C'Ã©tait la valeur de B.

279
00:18:39,820 --> 00:18:44,860
 MultipliÃ© Ã  la puissance de a, modulo
 M, nous donne un secret partagÃ©.

280
00:18:44,860 --> 00:18:49,500
 Et si nous faisions la mÃªme chose Ã  droite,
 nous obtiendrions exactement la mÃªme valeur.

281
00:18:49,500 --> 00:18:51,220
 Un secret partagÃ© : avoir 22 ans.

282
00:18:51,220 --> 00:18:53,600
 Faisons nos calculs ici.

283
00:18:53,600 --> 00:18:58,480
 Revenons donc aux aspects scientifiques.

284
00:18:58,480 --> 00:19:01,920
 Donc, j'ai reÃ§u la valeur de 22.

285
00:19:01,920 --> 00:19:09,320
 De la part de son pair. Il a fait cela
 Ã  l'exposant de son propre exposant.

286
00:19:09,320 --> 00:19:10,480
 Parce que c'est tout ce qu'il connaÃ®t.

287
00:19:10,480 --> 00:19:12,440
 Il ne connaÃ®t pas l'expert de ses pairs.

288
00:19:12,440 --> 00:19:15,740
 VoilÃ  qui rÃ©vÃ¨le toute sa valeur.

289
00:19:15,740 --> 00:19:18,100
 Et ensuite, nous voulons
 faire le modulo 23.

290
00:19:18,100 --> 00:19:20,000
 J'ai donc acquis un programmeur de vues.

291
00:19:20,000 --> 00:19:21,600
 Je dois prendre Ã§a.

292
00:19:21,600 --> 00:19:27,620
 Le modulo 23 me donne 22.

293
00:19:27,620 --> 00:19:31,280
 Et si je fais la mÃªme chose de ce cÃ´tÃ©-ci,
 17 Ã  la puissance 11, peu importe

294
00:19:31,280 --> 00:19:35,880
 c'est-Ã -dire que modulo
 23 sera Ã©galement 22.

295
00:19:35,880 --> 00:19:39,200
 Il s'agit donc ici d'une procÃ©dure
 Diffie-Hellman de base.

296
00:19:39,200 --> 00:19:43,160
 Or, lorsqu'on procÃ¨de Ã  une procÃ©dure Diffie-Hellman, l'une
 des premiÃ¨res choses que l'on fait gÃ©nÃ©ralement estâ¦

297
00:19:43,160 --> 00:19:45,100
 vous en conviendrez dans
 votre premier message.

298
00:19:45,100 --> 00:19:48,440
 Cet Ã©change correspond Ã  un numÃ©ro de groupe
 Diffie Hellman, comme Diffie Hellman

299
00:19:48,440 --> 00:19:51,560
 groupe cinq ou groupe Diffie Hellman 14.

300
00:19:51,560 --> 00:19:56,440
 Et lorsque vous utilisez la mÃ©thode Diffie-Hellman classique,
 une fois que vous vous Ãªtes mis d'accord sur votre

301
00:19:56,440 --> 00:20:00,880
 Le groupe Diffie-Hellman, comme le groupe Diffie-Hellman
 cinq, par exemple, ce groupe

302
00:20:00,880 --> 00:20:06,040
 Ce groupe possÃ¨de un gÃ©nÃ©rateur
 et un module bien connus.

303
00:20:06,040 --> 00:20:07,840
 Cela fait donc partie
 intÃ©grante du groupe.

304
00:20:07,840 --> 00:20:11,580
 Et si j'utilise le groupe Diffie-Hellman
 14, par exemple, ce sera diffÃ©rent.

305
00:20:11,580 --> 00:20:13,840
 gÃ©nÃ©rateur et un module diffÃ©rent.

306
00:20:13,840 --> 00:20:17,400
 Ce que vous garderez secret
 sera donc votre exposant.

307
00:20:17,400 --> 00:20:19,380
 Ã  votre droite et Ã  votre gauche.

308
00:20:19,380 --> 00:20:28,960
 Comment WPA3SAE utilise-t-il cela pour
 crÃ©er son propre rÃ©seau partagÃ© ?

309
00:20:28,960 --> 00:20:33,000
 Un secret ? Alors revenons-en Ã  ici.

310
00:20:33,000 --> 00:20:38,480
 Notez donc qu'en WPA3, dans nos messages de
 commit, donc nos deux premiers messages

311
00:20:38,480 --> 00:20:41,320
 Nous sommes engagÃ©s, nos deux derniers
 messages sont confirmÃ©s.

312
00:20:41,320 --> 00:20:48,980
 Ainsi, lors de la phase de validation WPA3, nous Ã©changeons
 deux valeurs, une valeur scalaire et une valeur scalaire.

313
00:20:48,980 --> 00:20:52,420
 et une valeur d'Ã©lÃ©ment de champ fini.

314
00:20:52,420 --> 00:20:59,060
 Voyons donc comment ces deux valeurs
 sont obtenues pour chaque cas.

315
00:20:59,060 --> 00:21:04,400
 de ce cÃ´tÃ©, afin qu'ils puissent
 les Ã©changer entre eux.

316
00:21:04,400 --> 00:21:10,400
 Bon, donc en WPA3, nous allons
 commencer avec trois valeurs.

317
00:21:10,400 --> 00:21:14,620
 Je dirais donc trois choses, mais
 elles sont un peu diffÃ©rentes.

318
00:21:14,620 --> 00:21:16,720
 que la mÃ©thode Diffie-Hellman classique.

319
00:21:16,720 --> 00:21:21,960
 En WPA3, nous allons donc commencer
 par un Ã©lÃ©ment de mot de passe.

320
00:21:21,960 --> 00:21:25,260
 Et dans une autre vidÃ©o, je vais parler
 de la faÃ§on dont on parvient Ã  un

321
00:21:25,260 --> 00:21:29,320
 Ã©lÃ©ment mot de passe, mais je dirais que l'Ã©lÃ©ment
 mot de passe est en quelque sorte dÃ©rivÃ©

322
00:21:29,320 --> 00:21:34,760
 en utilisant le SSID, la clÃ© prÃ©-partagÃ©e
 et quelques autres numÃ©ros.

323
00:21:34,760 --> 00:21:38,560
 Cela va donc Ãªtre intÃ©grÃ© Ã  une
 formule complexe Ã  venir.

324
00:21:38,560 --> 00:21:40,680
 jusqu'Ã  l'Ã©lÃ©ment de mot de passe.

325
00:21:40,680 --> 00:21:44,720
 Nous n'avons pas vraiment abordÃ© la question de savoir
 comment cela se produit, mais nous y viendrons.

326
00:21:44,720 --> 00:21:48,500
 Supposons donc que vous ayez dÃ©jÃ  calculÃ©
 cette formule complexe qui prend

327
00:21:48,500 --> 00:21:52,980
 comme entrÃ©es, le SSID, la clÃ© prÃ©-partagÃ©e
 et une autre valeur, et cela

328
00:21:52,980 --> 00:21:55,500
 vous donne un Ã©lÃ©ment de mot de passe.

329
00:21:55,500 --> 00:21:59,540
 Le client et le point d'accÃ¨s devraient
 donc dÃ©marrer correctement.

330
00:21:59,540 --> 00:22:03,060
 portail avec le mÃªme Ã©lÃ©ment
 de mot de passe.

331
00:22:03,060 --> 00:22:07,280
 Le client va maintenant proposer deux
 valeurs sÃ©lectionnÃ©es au hasard.

332
00:22:07,280 --> 00:22:10,980
 On appelle Ã§a simplement un petit Â« a Â» et un grand
 Â« a Â», et on verra comment ils sont utilisÃ©s.

333
00:22:10,980 --> 00:22:12,220
 Dans un instant.

334
00:22:12,220 --> 00:22:16,100
 Et le point d'accÃ¨s propose deux valeurs
 sÃ©lectionnÃ©es alÃ©atoirement, petites

335
00:22:16,100 --> 00:22:20,400
 a, je dis petit b et grand b.

336
00:22:20,400 --> 00:22:23,940
 Et puis il y aura un module
 statique bien connu.

337
00:22:23,940 --> 00:22:26,980
 Nous l'appellerons Q dans ce cas.

338
00:22:26,980 --> 00:22:31,340
 TrÃ¨s bien, voici comment nous obtenons
 notre valeur scalaire et notre Ã©lÃ©ment

339
00:22:31,340 --> 00:22:35,960
 valeur. Rappelez-vous, si nous revenons
 Ã  cette diapositive, oÃ¹ en sommes-nousÂ ?

340
00:22:35,960 --> 00:22:39,000
 Ici, nous discutons de la faÃ§on dont
 nous obtenons le scalaire et

341
00:22:39,000 --> 00:22:40,660
 l'Ã©lÃ©ment de champ fini.

342
00:22:40,660 --> 00:22:42,760
 Nous obtenons donc ces deux valeurs.

343
00:22:42,760 --> 00:22:46,820
 Comment procÃ©dons-nous ?

344
00:22:46,820 --> 00:22:50,580
 D'accord, donc la valeur scalaire, et nous allons
 simplement appeler la valeur scalaire

345
00:22:50,580 --> 00:22:53,520
 pour le client, S, A.

346
00:22:53,520 --> 00:22:57,760
 Donc il est A, donc S minuscule A majuscule,
 ce sera sa valeur scalaire.

347
00:22:57,760 --> 00:23:02,280
 Ici, la valeur scalaire du point
 d'accÃ¨s sera un petit S majuscule

348
00:23:02,280 --> 00:23:07,820
 B ou S B. C'est son scalaire
 pour B, le scalaire pour A.

349
00:23:07,820 --> 00:23:08,920
 Alors, comment arrive-t-on
 Ã  cette conclusion ?

350
00:23:08,920 --> 00:23:14,120
 Eh bien, nous prenons nos deux valeurs alÃ©atoires,
 nous les additionnons, donc un petit

351
00:23:14,120 --> 00:23:18,660
 A plus A, et ensuite on fait modulo Q.

352
00:23:18,660 --> 00:23:23,940
 Pour B, nous prenons ses deux valeurs sÃ©lectionnÃ©es
 au hasard, nous les additionnons, petit

353
00:23:23,940 --> 00:23:28,520
 b majuscule B, quel que soit
 ce que c'est, modulo Q.

354
00:23:28,520 --> 00:23:33,000
 VoilÃ  donc la valeur scalaire qu'ils
 vont Ã©changer entre eux.

355
00:23:33,000 --> 00:23:37,820
 Et la valeur de l'Ã©lÃ©ment, donc pour l'Ã©lÃ©ment
 A, donc L, A, c'est l'Ã©lÃ©ment

356
00:23:37,820 --> 00:23:43,240
 Pour A, nous allons simplement prendre son
 Ã©lÃ©ment de mot de passe Ã  la puissance de

357
00:23:43,240 --> 00:23:46,020
 A majuscule nÃ©gatif.

358
00:23:46,020 --> 00:23:51,500
 Donc, quelle que soit la valeur de A ici, nous
 allons Ã©lever PwE Ã  la puissance nÃ©gative.

359
00:23:51,500 --> 00:23:53,060
 quoi que ce soit.

360
00:23:53,060 --> 00:23:54,820
 Et la mÃªme chose Ã  droite.

361
00:23:54,820 --> 00:23:59,240
 Pour l'Ã©lÃ©ment B, nous allons prendre
 le mÃªme Ã©lÃ©ment de mot de passe, donc

362
00:23:59,240 --> 00:24:03,240
 Ils ont tous deux le mÃªme Ã©lÃ©ment de mot
 de passe commun Ã  la puissance de nÃ©gatif

363
00:24:03,240 --> 00:24:08,140
 B majuscule. C'est donc ce qu'ils Ã©changent
 entre eux dans le commit.

364
00:24:08,140 --> 00:24:13,280
 messages. Nous avons constatÃ© que dans l'Ã©change
 de messages de validation SAE, ils Ã©changent

365
00:24:13,280 --> 00:24:16,440
 leurs valeurs scalaires et
 leurs valeurs Ã©lÃ©mentaires.

366
00:24:16,440 --> 00:24:22,100
 Et maintenant, nous savons mathÃ©matiquement
 comment ces rÃ©sultats sont obtenus.

367
00:24:22,100 --> 00:24:28,140
 D'accord, donc maintenant, Ã  ce stade, nous sommes
 Ã  l'arriÃ¨re, nous crÃ©ons un espace partagÃ©

368
00:24:28,140 --> 00:24:32,080
 secret. Donc, cela se produit avant que les confirmations
 ne soient faites juste aprÃ¨s la premiÃ¨re.

369
00:24:32,080 --> 00:24:36,320
 pour l'Ã©change des messages de
 validation SAE, et c'est tout.

370
00:24:36,320 --> 00:24:39,080
 Donc si je retourne ici.

371
00:24:39,080 --> 00:24:48,660
 Voyons voir, oÃ¹ Ã©tait-ce ?

372
00:24:48,660 --> 00:24:53,380
 Juste ici. Bon, alors ceci, nous
 le mettons en Ã©vidence ici.

373
00:24:53,380 --> 00:24:56,720
 Voici donc la communication entre le
 client et le point d'accÃ¨s Cisco.

374
00:24:56,720 --> 00:24:58,840
 Remarquez la surbrillance
 bleue ci-dessus.

375
00:24:58,840 --> 00:25:02,840
 Ceci affiche donc le message de validation
 que le client envoie Ã 

376
00:25:02,840 --> 00:25:06,740
 Point d'accÃ¨s. Il dit : Â« HÃ©, voici le
 rÃ©sultat de mon calcul scalaire. Â»

377
00:25:06,740 --> 00:25:10,680
 Voici le rÃ©sultat de mon calcul
 par Ã©lÃ©ments finis.

378
00:25:10,680 --> 00:25:14,420
 Maintenant, si je pouvais cliquer sur le bouton
 d'authentification du message de commitâ¦

379
00:25:14,420 --> 00:25:18,020
 Du point d'accÃ¨s au client, nous
 verrions qu'il envoie son propre

380
00:25:18,020 --> 00:25:20,640
 Ã©lÃ©ment scalaire et Ã©lÃ©ment
 de champ fini.

381
00:25:20,640 --> 00:25:25,860
 Donc, aprÃ¨s avoir Ã©changÃ© leurs messages de commit,
 avant de procÃ©der Ã  l'Ã©change de messages de commit,

382
00:25:25,860 --> 00:25:29,460
 Confirmez les messages, ils vont inventer
 leur propre secret commun.

383
00:25:29,460 --> 00:25:32,340
 Et comment cela va-t-il se passer ?

384
00:25:32,340 --> 00:25:40,420
 Nous pouvons le constater ici mÃªme.

385
00:25:40,420 --> 00:25:45,360
 Remarquez donc que le client dit ici : Â«Â Dâaccord,
 je viens de recevoir la valeur scalaire.Â Â»

386
00:25:45,360 --> 00:25:47,360
 depuis le point d'accÃ¨s.

387
00:25:47,360 --> 00:25:48,800
 C'est un scalaire de B.

388
00:25:48,800 --> 00:25:53,360
 Je vais donc Ã©lever mon Ã©lÃ©ment de mot de
 passe Ã  la puissance de son scalaire.

389
00:25:53,360 --> 00:25:58,760
 Et je vais multiplier cela par
 son Ã©lÃ©ment de champ fini.

390
00:25:58,760 --> 00:26:00,020
 Nous appelons cet Ã©lÃ©ment B.

391
00:26:00,020 --> 00:26:02,560
 Donc voilÃ , donc je vais
 multiplier ces choses Ã 

392
00:26:02,560 --> 00:26:03,600
 deux choses ensemble.

393
00:26:03,600 --> 00:26:10,740
 Et ensuite, quelle que soit la valeur de ce
 produit, Ã  la puissance de ma petite valeur.

394
00:26:10,740 --> 00:26:14,680
 Oups, revenons en arriÃ¨re.

395
00:26:14,680 --> 00:26:18,520
 Et de l'autre cÃ´tÃ©, le point d'accÃ¨s
 va prendre la mÃªme chose

396
00:26:18,520 --> 00:26:46,440
 Ã©lÃ©ment de mot de passe Ã  la puissance
 du scalaire qu'il a reÃ§u du client.

397
00:26:46,440 --> 00:26:55,640
 L'Ã©tape suivante consiste donc
 Ã  confirmer les messages SAE.

398
00:26:55,640 --> 00:26:58,400
 Bon, voici la phase de validation.

399
00:26:58,400 --> 00:27:01,440
 Ils Ã©changent tous deux leur
 scalaire et leurs Ã©lÃ©ments.

400
00:27:01,440 --> 00:27:05,520
 Ils sont finalement arrivÃ©s
 Ã  la mÃªme conclusion.

401
00:27:05,520 --> 00:27:07,860
 Nous avons donc la mÃªme
 valeur secrÃ¨te partagÃ©e.

402
00:27:07,860 --> 00:27:13,800
 L'objectif de la confirmation SAE est de vÃ©rifier
 que vous avez bien reÃ§u le document.

403
00:27:13,800 --> 00:27:16,140
 Le mÃªme secret que moi ?

404
00:27:16,140 --> 00:27:18,520
 Vous devriez le faire si vos
 calculs sont corrects.

405
00:27:18,520 --> 00:27:24,160
 L'objectif de l'Ã©change de confirmation
 SAE est donc de valider cela.

406
00:27:24,160 --> 00:27:26,320
 Alors, comment procÃ©der ?

407
00:27:26,320 --> 00:27:29,300
 Donc, dans le message de confirmation SAE,
 vous allez voir Ã§a ici dans un instant.

408
00:27:29,300 --> 00:27:32,940
 cette grande valeur longue, appelÃ©e
 jeton de confirmation.

409
00:27:32,940 --> 00:27:37,860
 Et c'est vraiment le rÃ©sultat
 de l'application dans un H.

410
00:27:37,860 --> 00:27:44,040
 Calcul du condensÃ© de hachage Mac
 Ã  partir des entrÃ©es suivantes.

411
00:27:44,040 --> 00:27:50,980
 Donc si je suis le client, je vais maintenant
 prendre mon scalaire et mon Ã©lÃ©ment.

412
00:27:50,980 --> 00:27:55,580
 Je vais prendre le scalaire et l'Ã©lÃ©ment
 que vous m'avez envoyÃ©s lorsque vous

413
00:27:55,580 --> 00:27:58,600
 m'a envoyÃ© votre message de commit.

414
00:27:58,600 --> 00:28:02,460
 Je vais m'emparer du secret
 partagÃ© qui a Ã©tÃ© dÃ©couvert.

415
00:28:02,460 --> 00:28:07,760
 Et je vais prendre le numÃ©ro de
 sÃ©quence 1 et je vais le hacher.

416
00:28:07,760 --> 00:28:13,000
 avec le Mac H, avec, vous savez, le code
 d'authentification du message de hachage.

417
00:28:13,000 --> 00:28:14,840
 VoilÃ  ce que propose H Mac.

418
00:28:14,840 --> 00:28:19,220
 Et cela va me donner la valeur de mon
 jeton, mon jeton de confirmation.

419
00:28:19,220 --> 00:28:26,640
 Et devinez quoi ? Vous allez faire
 exactement la mÃªme chose.

420
00:28:26,640 --> 00:28:30,380
 Le scalaire et l'Ã©lÃ©ment que je vous ai
 envoyÃ©s, vous allez prendre le partage

421
00:28:30,380 --> 00:28:34,400
 Le secret, c'est que vous dÃ©rivez le
 nombre un et que vous allez trouver

422
00:28:34,400 --> 00:28:36,900
 Saisissez vous-mÃªme un
 jeton de confirmation.

423
00:28:36,900 --> 00:28:43,920
 Et c'est ainsi que nous pouvons confirmer que nous
 avons tous les deux exactement les mÃªmes valeurs.

424
00:28:43,920 --> 00:28:46,820
 Voyons voir Ã§a ici.

425
00:28:46,820 --> 00:28:54,680
 Donc en fait, non.

426
00:28:54,680 --> 00:29:00,720
 Je dois donc clarifier un point que j'ai
 dit prÃ©cÃ©demment, car vous Ãªtes, vous

427
00:29:00,720 --> 00:29:03,100
 Vous pourriez lire ceci et vous
 dire : Â« Attendez une seconde. Â»

428
00:29:03,100 --> 00:29:07,900
 Les valeurs des jetons de confirmation, ce qui signifie
 que la couleur peut changer trÃ¨s rapidement ici.

429
00:29:07,900 --> 00:29:11,240
 Ces valeurs Ã©levÃ©es et longues
 sont-elles bien lÃ  ?

430
00:29:11,240 --> 00:29:12,700
 Ce n'est pas la mÃªme chose.

431
00:29:12,700 --> 00:29:15,360
 Je vois bien ici qu'ils sont clairement
 diffÃ©rents, car l'un commence par un

432
00:29:15,360 --> 00:29:16,700
 cinq cinq en bas.

433
00:29:16,700 --> 00:29:18,800
 L'autre commence par C A F.

434
00:29:18,800 --> 00:29:19,920
 Ce n'est pas le mÃªme nombre, Keith.

435
00:29:19,920 --> 00:29:24,320
 Alors, que se passe-t-il ? Juste
 pour clarifier quelque choseâ¦

436
00:29:24,320 --> 00:29:31,760
 Ces deux valeurs sont donc le rÃ©sultat
 d'un algorithme de hachage H Mac.

437
00:29:31,760 --> 00:29:36,280
 Ils utilisent quasiment les
 mÃªmes donnÃ©es d'entrÃ©e.

438
00:29:36,280 --> 00:29:38,600
 Nous l'avons dÃ©jÃ  vu.

439
00:29:38,600 --> 00:29:41,700
 Si je reviens Ã  la diapositive
 prÃ©cÃ©dente, une secondeâ¦

440
00:29:41,700 --> 00:29:44,600
 Revenons ici.

441
00:29:44,600 --> 00:29:47,120
 Ils prennent en compte ses suggestions.

442
00:29:47,120 --> 00:29:49,780
 Les mÃªmes valeurs scalaires
 et Ã©lÃ©mentaires.

443
00:29:49,780 --> 00:29:53,280
 Le client et le point d'accÃ¨s prennent
 donc chacun leur part.

444
00:29:53,280 --> 00:29:58,140
 Le client rÃ©cupÃ¨re son scalaire et son
 Ã©lÃ©ment, et il accÃ¨de Ã  l'information.

445
00:29:58,140 --> 00:29:59,720
 point scalaire et Ã©lÃ©ment.

446
00:29:59,720 --> 00:30:04,580
 Le point d'accÃ¨s prend l'Ã©lÃ©ment scalaire
 client et le point d'accÃ¨s

447
00:30:04,580 --> 00:30:05,720
 scalaire et Ã©lÃ©ment.

448
00:30:05,720 --> 00:30:07,800
 C'est donc la mÃªme chose des deux cÃ´tÃ©s.

449
00:30:07,800 --> 00:30:11,160
 Ils sont tous deux parvenus Ã  la
 mÃªme valeur secrÃ¨te partagÃ©e.

450
00:30:11,160 --> 00:30:12,940
 Donc c'est la mÃªme chose.

451
00:30:12,940 --> 00:30:16,340
 Cela doit toutefois changer un peu.

452
00:30:16,340 --> 00:30:18,600
 Permettez-moi de faire une
 pause et de modifier cela.

453
00:30:18,600 --> 00:30:22,420
 D'accord. VoilÃ , j'ai essayÃ© de le rendre
 un peu plus correct techniquement.

454
00:30:22,420 --> 00:30:25,320
 J'ai modifiÃ© ce point prÃ©cis.

455
00:30:25,320 --> 00:30:32,500
 Vous voyez, ce qui est inclus dans le condensÃ© de hachage
 est une valeur de compteur de confirmation.

456
00:30:32,500 --> 00:30:36,880
 Les deux parties introduisent donc les scalaires et
 les Ã©lÃ©ments qu'elles ont toutes deux calculÃ©s.

457
00:30:36,880 --> 00:30:39,060
 Les deux parties mettent en
 avant le secret partagÃ©.

458
00:30:39,060 --> 00:30:41,040
 Mais il y a ensuite un compteur
 de confirmation.

459
00:30:41,040 --> 00:30:47,560
 Eh bien, lorsque le client envoie sa confirmation
 au point d'accÃ¨s, c'est...

460
00:30:47,560 --> 00:30:49,660
 le tout premier message de confirmation.

461
00:30:49,660 --> 00:30:53,300
 Le client aura donc un compteur de confirmation de
 un indiquant qu'il s'agit de la premiÃ¨re fois.

462
00:30:53,300 --> 00:30:54,660
 confirmer le numÃ©ro un.

463
00:30:54,660 --> 00:31:00,520
 Lorsque le point d'accÃ¨s crÃ©e son message
 de confirmation, c'est la seconde

464
00:31:00,520 --> 00:31:01,600
 Confirmer le message.

465
00:31:01,600 --> 00:31:04,400
 Le point d'accÃ¨s saisira
 donc la valeur deux.

466
00:31:04,400 --> 00:31:05,260
 Eh bien, devinez quoi ?

467
00:31:05,260 --> 00:31:08,480
 Juste ces deux petites diffÃ©rences,
 lÃ , du point de vue du client

468
00:31:08,480 --> 00:31:13,700
 dans un et le point d'accÃ¨s insÃ©rant deux
 dans ce condensÃ© de hachage est en fait

469
00:31:13,700 --> 00:31:17,820
 cela va donner deux chiffres
 trÃ¨s diffÃ©rents.

470
00:31:17,820 --> 00:31:23,780
 Le numÃ©ro CAF et ce numÃ©ro A55 sont
 en fait calculÃ©s Ã  partir de

471
00:31:23,780 --> 00:31:28,700
 le client parce qu'il a utilisÃ© le compteur
 de confirmation de un et le point d'accÃ¨s

472
00:31:28,700 --> 00:31:32,060
 J'ai utilisÃ© le compteur
 de confirmation de deux.

473
00:31:32,060 --> 00:31:38,080
 Mais sachant cela Ã  l'avance, les deux parties peuvent
 utiliser ces jetons de confirmation pour

474
00:31:38,080 --> 00:31:43,300
 vÃ©rifier que l'autre partie possÃ¨de
 le secret partagÃ© correct.

475
00:31:43,300 --> 00:31:47,000
 Et c'est prÃ©cisÃ©ment l'objectif de cet
 Ã©change de messages de confirmation.

476
00:31:47,000 --> 00:31:53,080
 Maintenant, une fois que les messages de validation
 ont Ã©tÃ© Ã©changÃ©s et les messages de confirmation

477
00:31:53,080 --> 00:31:57,820
 Une fois les clÃ©s Ã©changÃ©es, ils peuvent enfin
 calculer la clÃ© maÃ®tresse par paire.

478
00:31:57,820 --> 00:32:03,200
 aprÃ¨s cela. Donc, quand ils commenceront enfin Ã  effectuer
 le parcours EAP Ã  quatre voies au-dessus des terres

479
00:32:03,200 --> 00:32:09,040
 Les Ã©changes de messages commenceront
 par le mÃªme maÃ®tre de paire partagÃ©.

480
00:32:09,040 --> 00:32:13,160
 clÃ©. Mais notez qu'elle sera unique
 pour ces deux personnes seulement.

481
00:32:13,160 --> 00:32:18,580
 Ce client et ce point d'accÃ¨s auront
 calculÃ© une valeur totalement unique.

482
00:32:18,580 --> 00:32:23,840
 secret partagÃ©, qui permettra de gÃ©nÃ©rer
 une clÃ© maÃ®tresse unique et exclusive.

483
00:32:23,840 --> 00:32:28,840
 C'est diffÃ©rent si un autre client se
 connecte exactement au mÃªme accÃ¨s.

484
00:32:28,840 --> 00:32:34,560
 VoilÃ . Alors merci beaucoup d'avoir regardÃ©
 cette vidÃ©o et j'espÃ¨re qu'elle vous a plu.

485
00:32:34,560 --> 00:32:35,220
 utile pour vous.
