Bonjour et bienvenue dans cette vidÃ©o intitulÃ©e DÃ©rivation WPA3 SAE PMK.
Comme le titre l'indique, dans cette vidÃ©o, nous allons aborderâ¦
les dÃ©tails sanglants de la faÃ§on dont le PMK est dÃ©rivÃ© avec WPA3 SAE.
Je tiens Ã prÃ©ciser d'emblÃ©e qu'avec le WPA3 SAE, il existe en rÃ©alitÃ©
quelque chose qui est dÃ©rivÃ© avant la clÃ© maÃ®tresse par paire, qui est quelque chose
appelÃ© un secret partagÃ©.
On va donc vraiment approfondir la maniÃ¨re dont ce secret partagÃ©
est dÃ©rivÃ©e. Et une fois celle-ci crÃ©Ã©e, la clÃ© maÃ®tresse par paire peut Ãªtre dÃ©rivÃ©e.
Nous allons donc faire un bref rÃ©capitulatif.
Nous savons donc qu'avec le WPA2, il n'y avait en rÃ©alitÃ© que l'authentification 2802.11.
Voici les messages Ã©changÃ©s, que nous pouvons consulter ici.
Le client enverrait donc un message d'authentification au point d'accÃ¨s.
et l'algorithme d'authentification Ã©tait simplement un systÃ¨me ouvert.
Et regardez Ã§a, le code d'Ã©tat d'authentification a rÃ©ussi.
Le client disait donc dÃ©jÃ : Â« HÃ©, mon authentification a dÃ©jÃ rÃ©ussi. Â»
Il s'agit tout simplement d'une vieille habitude hÃ©ritÃ©e d'il y a longtemps.
oÃ¹ j'ai dit : Â« Ãcoutez, nous devons Ã©changer des messages d'authentification Â», c'est tout.
Un peu comme si c'Ã©tait intÃ©grÃ© Ã la norme.
Mais ils ont dÃ©cidÃ© il y a longtemps que nous n'allions pas procÃ©der Ã l'authentification.
Juste ici. L'authentification aura lieu juste aprÃ¨s l'association.
C'est terminÃ©. Donc, il s'agit en quelque sorte d'une suite logique.
Et vous pouvez voir ici que le point d'accÃ¨s a renvoyÃ© un message Ã
le client avec un autre message d'authentification.
L'algorithme d'authentification, basÃ© sur un systÃ¨me ouvert, confirme : Â« Oui, tout est en ordre. Â»
Mais en rÃ©alitÃ©, aucune authentification n'avait lieu ici.
Aucun des deux camps ne faisait quoi que ce soit pour authentifier l'autre.
Eh bien, avec le WPA3 personnel, Ã©galement appelÃ© simultanÃ©
L'authentification par les pairs, ils ont changÃ© Ã§a.
Ils ont dit : Â« Ãcoutez, nous allons authentifier chaque partie, c'est bien Ã§a ? Â»
ici, Ã l'Ã©tape d'authentification.
Et nous allons utiliser cela pour crÃ©er notre clÃ© maÃ®tresse par paire.
L'une des mesures qu'ils ont prises pour changer cela a donc Ã©tÃ© d'augmenter cette valeur.
Deux messages Ã quatre messages.
Et vous pouvez les voir juste ici.
Et vous pouvez Ã©galement constater que dans l'algorithme d'authentification, ils ont changÃ©
il s'agit d'une authentification simultanÃ©e d'Ã©gaux.
Vous pouvez donc le constater ici mÃªme.
Il n'est plus indiquÃ© Â« authentification ouverte Â».
Il est maintenant indiquÃ© version trois, qui est S A E.
D'accord. Et dans ces quatre Ã©changes de messages, il y a en faitâ¦
Il y a plein de choses ici.
Il existe par exemple ce qu'on appelle un scalaire et un Ã©lÃ©ment de champ fini.
Et nous allons aborder les dÃ©tails de cela dans cette vidÃ©o.
Juste ici. Je vais vous prÃ©venir tout de suite.
Si votre objectif en regardant ces vidÃ©os est simplement d'apprendreâ¦
Il vous suffit d'avoir au minimum une certification NA ou un examen CCMP sans fil, et vous pourrez vous arrÃªter lÃ .
maintenant dans cette vidÃ©o.
Tout ce que je vais aborder dans cette vidÃ©o se trouvera au-dessus.
et au-delÃ de ce que vous devez simplement savoir pour rÃ©ussir.
un examen de certification.
Vous vous demandez peut-Ãªtre : Â« Keith, pourquoi as-tu crÃ©Ã© cette vidÃ©o ? Â»
et tout d'abord ?
Eh bien, si j'ai une approche d'ingÃ©nieur, je vais jeter un Åil Ã Ã§a.
et je serai naturellement curieux de tout.
Je me demanderai, genre, d'accord, pourquoi avons-nous besoin de quatre messages exactement ?
D'accord, je comprends que les deux premiers messages sont appelÃ©s commit.
Les deux derniers messages sont appelÃ©s confirmation.
Et peut-Ãªtre que si je rÃ©visais pour un examen de certification, ce serait tout ce que je ferais.
J'ai besoin de savoir. Mais pour moi, avec mon Ã©tat d'esprit, je suis naturellement curieux de savoir,
Eh bien, qu'est-ce qui diffÃ©rencie les messages de commit des messages de confirmationÂ ?
Et si je fais une analyse de trafic rÃ©seau, comme je viens de le faire, je remarquerai que le
Les messages de commit contiendront des Ã©lÃ©ments tels qu'un scalaire et un corps fini.
Ã©lÃ©ments qui ne figurent pas dans les messages de confirmation.
Le message de confirmation contient autre chose.
Et je me demande naturellement, eh bien, comment s'appellent ces choses ?
scalaire et corps fini ?
Ã quoi servent-ils ?
Pourquoi est-ce important dans tout l'Ã©change de libellules, Ã©galement connu sous le nom de
SAE, que nous avons ceux-ci ?
Cette vidÃ©o a donc pour but de rÃ©pondre Ã ceux d'entre vous qui se demandentâ¦
Je suis un peu curieux de savoir ce que sont ces messages ?
Que contiennent-ils exactement ?
Et que sont ces champs ici, sans entrer dans des dÃ©tails sordides ?
Des mathÃ©matiques vraiment poussÃ©es Ã l'extrÃªme ?
Et voilÃ Ã quoi Ã§a sert.
Parce que pour moi, une fois que je prends du recul par rapport Ã tout Ã§a, je comprends vraiment ce que
Ces champs sont et ce qui diffÃ©rencie rÃ©ellement un message de commit d'un autre
Un message de confirmation, je ressens un petit quelque chose en plus, au-delÃ de ce qu'est un simple message de confirmation.
L'examen de certification pourrait me poser une question Ã choix multiples.
Ceci Ã©tant dit, poursuivons ici mÃªme.
D'accord. Donc, avec le WPA3, l'un des objectifs Ã©tait que nous savons que l'un des
Ce qui rendait le WPA2 mauvais, ou plutÃ´t un peu peu sÃ©curisÃ©, c'est queâ¦
Tout le monde utilise la mÃªme phrase de passe pour se connecter au rÃ©seau local sans fil, comme coffee123.
Eh bien, c'est la mÃªme chose avec WPA3, n'est-ce pas ?
Vous en rencontrerez lors de la configuration d'un rÃ©seau sans fil personnel WPA3.
LAN, que ce soit via le cÃ¢ble de votre point d'accÃ¨s ou l'interface web de
votre manette ou quoi que ce soit d'autre.
L'une des premiÃ¨res choses que vous devrez saisir est une phrase de passe.
pour le rÃ©seau local sans fil.
Les personnages deux et trois partagent donc une mÃªme phrase secrÃ¨te.
L'une des diffÃ©rences, cependant, rÃ©side dans le fait que, dans une vidÃ©o prÃ©cÃ©dente, nous avons parlÃ© de
Avec le WPA2, il existe une formule appelÃ©e P BKDRF2, je crois.
J'ai la fonctionnalitÃ© adÃ©quate, ce qui a eu pour consÃ©quence de prendre
cette phrase secrÃ¨te et en tirer une paire de clÃ©s maÃ®tresses.
Mais le problÃ¨me Ã©tait que tout le monde possÃ©dait la mÃªme clÃ© maÃ®tresse par paire.
Ils l'ont tous partagÃ©.
L'avantage, c'est que la clÃ© maÃ®tresse par paire n'est pas utilisÃ©e pourâ¦
Chiffrer et dÃ©chiffrer des donnÃ©es.
Nous devons effectuer d'autres fonctions de dÃ©rivation clÃ©s jusqu'Ã ce que finalement nous
AccÃ©dez Ã la clÃ© temporelle, la TK, et c'est elle qui sert rÃ©ellement Ã chiffrer.
et dÃ©crypter nos donnÃ©es.
Mais tout commence avec le PMK.
Donc si tout le monde a exactement le mÃªme PMK, ce n'est pas bon signe, n'est-ce pas ?
Dans un monde oÃ¹ la sÃ©curitÃ© serait optimale, chaque personne possÃ©derait une clÃ© diffÃ©rente.
Nous n'aurions pas un jeu de clÃ©s partagÃ© entre les mÃªmes groupes de personnes.
C'Ã©tait donc l'un des problÃ¨mes du WPA2.
WPA3 a donc dÃ©clarÃ© que nous devions crÃ©er une clÃ© maÃ®tresse unique par paire pour
chaque individu.
Ils ne devraient pas tous avoir la mÃªme chose.
Et donc, il s'agit maintenant de savoir comment cela se produit ?
Comment gÃ©nÃ©rer une clÃ© maÃ®tresse unique par paire lorsque nous avons, quand
Nous commenÃ§ons par un secret partagÃ© qui est le mÃªme, comme le cafÃ©, un,
deux, trois, ou Cisco, un, deux, trois, quel que soit le mot de passe WPA3,
comment pouvons-nous accÃ©der Ã ce mÃªme mot de passe partagÃ© que tout le monde saisit ?
comment se connecter au rÃ©seau local sans fil avec une clÃ© maÃ®tresse unique par paireÂ ?
Et pour ce faire, nous devons trouver un secret unique et partagÃ©.
avant la clÃ© maÃ®tresse par paire.
Et c'est prÃ©cisÃ©ment ce dont cette vidÃ©o va parler : pendant
que, ce processus d'engagement et de confirmation de SAE, l'objectif final ultime de
Il s'agit de trouver un chemin secret partagÃ©, un nombre secret partagÃ©.
Et c'est ce qui est unique entre ce client et ce point d'accÃ¨s.
Ainsi, chaque client aura un secret partagÃ© diffÃ©rent Ã la fin de son contrat.
Ãchange de messages SAE Ã quatre voies.
Et puis, Ã partir de ce secret partagÃ©, Ã©laborÃ© spÃ©cialement pour cette session,
Ils peuvent ensuite en dÃ©duire la clÃ© maÃ®tresse par paire, qui sera
Ã©videmment unique car le secret partagÃ© a Ã©tÃ© dÃ©couvert avant cela
Ã©tait Ã©galement unique.
Alors, comment procÃ©der ?
Le WPA3 supprime donc en quelque sorte toute cette fonction PBK DRF2 et arrive Ã
et partager un autre secret.
Et son fonctionnement ressemble beaucoup Ã celui de Diffie-Hellman.
Concernant l'accord Diffie-Hellman, nous disposons de certaines informations publiques connues que nous
calculer mathÃ©matiquement avec notre grand nombre alÃ©atoire et quelques nombres premiers
pour calculer la clÃ© maÃ®tresse par paire.
Donc, les changements consistent Ã modifier les nombres alÃ©atoires Ã chaque authentification successive.
tentative, qui aboutit Ã un nouveau secret partagÃ© unique et Ã un maÃ®tre par paire.
Ne vous inquiÃ©tez pas. Nous allons aborder ce point en dÃ©tail.
CommenÃ§ons donc par un rappel des notions d'arithmÃ©tique modulaire.
Permettez-moi de vous montrer quelque chose.
Si je vous montrais quelque chose comme 32 ceci, d'accord, si je vous disais, dÃ©brouillez-vous avec Ã§a
pour moi, 32, 32, modulo cinq.
Si vous savez dÃ©jÃ comment faire, vous pouvez passer directement Ã la diapositive suivante.
VoilÃ , avancez rapidement et passez Ã la diapositive suivante.
Mais si vous demandez : que signifie modulo et qu'est-ce que c'est ?
Comment faire ?
Eh bien, dans ce cas, vous Ãªtes au bon endroit.
TrÃ¨s bien, faisons un rÃ©capitulatif de l'arithmÃ©tique modulaire.
Parfois, vous souhaitez crÃ©er un algorithme ou une fonction qui divise
les nombres par une certaine valeur, X, et dans les exemples prÃ©cÃ©dents X et les exemples
En dessous du X se trouvera le chiffre quatre.
Et ensuite, aprÃ¨s avoir divisÃ© les nombres par cette certaine valeur, vous allez
avoir un reste quelconque.
Supposons que le reste soit Y et que vous souhaitiez effectivement prendre ce reste.
et intÃ©grez cela dans votre formule ou votre algorithme.
Vous ne cherchez donc pas rÃ©ellement ce par quoi vous le divisez.
Vous cherchez Ã connaÃ®tre le reste de cette division.
Et nous appelons cela l'arithmÃ©tique modulaire.
Par exemple, ici, 25 divisÃ© par quatre Ã©gale six avec un reste
de un. Si nous divisons 34 par quatre, nous obtenons huit avec un reste.
de deux et 31 divisÃ© par quatre donne sept avec un reste de trois.
Et peut-Ãªtre est-ce ces restes que nous voulons intÃ©grer Ã notre formule
ou notre algorithme.
Donc, lorsque nous crÃ©ons une expression mathÃ©matique qui recherche le
Le reste de quelque chose, c'est ce qu'on appelle les expressions modulaires ou modulo.
Donc dans ce cas, nos valeurs de 25, 34 et 31, si nous l'appliquons contre
modulo quatre, ce par quoi nous divisons, donnera les restes
nous recherchons.
Cela s'exprime gÃ©nÃ©ralement mathÃ©matiquement, par exemple si l'on regarde
Au premier exemple, 25 modulo quatre nous donnera un.
Cela signifie donc que nous prenons un nombre et que nous le divisons par un autre.
numÃ©ro quatre dans ce cas, et nous cherchons Ã dÃ©terminer le reste.
VoilÃ comment on rÃ©sout cette expression, soit 34 % quatre ou 34 modulo
4 serait Ã©gal Ã 2, 31 modulo 4 serait Ã©gal Ã 3, n'est-ce pas ?
Nous recherchons le reste.
Ce type d'expression permet donc de calculer le reste.
Ce sera donc important lorsque nous aborderons l'arrÃªt Diffie-Hellman, puisâ¦
En fin de compte, c'est ainsi que SAE procÃ¨de.
Alors, passons en revue le manuel classique Diffie-Hellman.
Vous avez le pair A et le pair B.
L'objectif de l'Ã©change de nombres de Diffie-Hellman est d'utiliser de grands nombres premiers et d'exploiter les modules.
Nous allons maintenant passer en revue les opÃ©rations arithmÃ©tiques que nous venons de revoir dans la diapositive prÃ©cÃ©dente.
Ã©laborer une valeur secrÃ¨te partagÃ©e sans jamais l'Ã©changer.
valeur secrÃ¨te mise au clair.
Nous voulons donc que les pairs A et B dÃ©finissent un nombre secret partagÃ©.
Et si quelqu'un examinait rÃ©ellement les transactions entre pairs A
et leur homologue B, ils ne verront jamais rÃ©ellement cette valeur secrÃ¨te partagÃ©e.
Voici comment fonctionne l'Ã©change Diffie-Hellman.
Nous commenÃ§ons avec trois valeurs.
Deux d'entre elles sont donc bien connues.
Nous avons donc une sorte de gÃ©nÃ©rateur, une sorte de nombre de base, qui est
appelÃ© gÃ©nÃ©rateur.
Nous l'appellerons simplement G ici.
Nous avons un module, qui est comme dans l'exemple prÃ©cÃ©dent, le module
Il y avait quatre ans, n'est-ce pas ?
Nous divisions ces trois Ã©quations par quatre.
Nous avons donc un module statique bien connu.
Et puis, ce qui est gardÃ© secret, ce que les deux parties ignorent, c'est un certain hasard
exposant sÃ©lectionnÃ©.
Donc, pour chaque session, cet exposant prendra une nouvelle valeur.
Et le pair A aura son propre exposant, et le pair B aura
son propre reprÃ©sentant.
Donc, voici A et B.
TrÃ¨s bien, alors comment allons-nous utiliser ces Ã©lÃ©ments pour trouver un secret commun ?
une valeur qui est la mÃªme pour les deux ?
Voici donc le calcul initial.
Chaque camp prendra son gÃ©nÃ©rateur, sa valeur G, d'accord ?
Et ils diront G Ã la puissance de leur exposant.
Donc, le pair A dit G Ã la puissance de son exposant, le pair B prend G Ã la puissance
de son exposant.
Maintenant, quoi que ce soit, nous l'appliquerons ensuite au modulo M, d'accord ?
Et cela nous donnera des rÃ©sultats.
Donc A dira G Ã la puissance de mon exposant, modulo M me donnera un certain
le rÃ©sultat, qui sera notÃ© A majuscule, et la mÃªme chose se produit sur
VoilÃ . Ce sont donc les clÃ©s publiques de dÃ©part.
Le pair A enverra donc au pair B le rÃ©sultat de sa formule, A dans ce cas.
Il dira que c'est ma clÃ© publique.
Et le pair B fera la mÃªme chose.
Il dira : Â« HÃ©, pair A, laisse-moi te dire quelle est ma clÃ© publique. Â»
Nous n'avons pas encore dÃ©couvert le secret partagÃ©, mais nous nous en approchons.
Chaque partie va maintenant effectuer un calcul secret partagÃ© pour parvenir Ã
S, qui est leur valeur secrÃ¨te partagÃ©e.
Comment font-ils cela ?
Le pair A prend donc la clÃ© publique qu'il a reÃ§ue de B, qui est B ici.
Il dit : Â« D'accord, je vais prendre B Ã la puissance de mon exposant. Â»
Comme prÃ©cÃ©demment, j'ai Ã©levÃ© G Ã la puissance de mon exposant.
Je vais faire la mÃªme chose, B Ã la puissance de mon exposant.
Reprenez toute l'Ã©quation modulo M, et vous obtiendrez une valeur.
VoilÃ mon secret partagÃ©, car devinez quoi ?
Si, de l'autre cÃ´tÃ©, le pair B prend la clÃ© publique de A, qui est A, pour le
La puissance de son propre exposant, qui est B, modulo M donnera exactement la mÃªme chose
valeur en tant que secret partagÃ©.
Essayons vous-mÃªme.
Je veux donc que vous le fassiez vous-mÃªme.
Alors, mettez cette vidÃ©o en pause, et je veux que vous preniez, disons, ce
Les deux camps s'accordent plus ou moins sur le fait que leur gÃ©nÃ©rateur sera le numÃ©ro
cinq, donc ce sera G.
Leur module sera de 23, ce sera donc la valeur M ici.
Et Ã gauche, je veux que l'exposant alÃ©atoire soit sept, et Ã droite,
Ã droite, je veux que l'exposant alÃ©atoire soit Ã©gal Ã 11.
Essayez de dÃ©terminer quelle serait la valeur secrÃ¨te partagÃ©e.
Pour cela, mettez la vidÃ©o en pause un instant. Si vous n'y parvenez pas, n'hÃ©sitez pas Ã la relancer.
DÃ©brouille-toi, c'est pas grave, parce que quand tu lanceras la vidÃ©o, je vais
pour vous accompagner tout au long du processus.
Mais mettez la vidÃ©o en pause et essayez de le dÃ©couvrir par vous-mÃªme.
TrÃ¨s bien, alors commenÃ§ons Ã analyser cela.
La premiÃ¨re Ã©tape consisterait donc Ã rÃ©soudre l'Ã©quation.
Donc, du cÃ´tÃ© gauche, P ou A, il va prendre cinq, parce que c'Ã©tait
le gÃ©nÃ©rateur, Ã la puissance de son nombre alÃ©atoire.
Dans ce cas prÃ©cis, il y en avait sept.
Le modulo 23 vous donnera 17.
Tu demandes, Keith, comment t'es venue cette idÃ©e ?
Eh bien, utilisons simplement une fonction de calculatrice pour cela.
Donc, pour notre calculatrice, nous allons devoir la convertir en calculatrice scientifique.
La notation. VoilÃ .
Et vous savez, utilisez la calculatrice que vous avez sous la main.
Je vais donc commencer par calculer cinq Ã la puissance sept, car c'est pur.
L'exposant de A. Donc je fais simplement cinq.
Donc x, y ici est x Ã la puissance y.
J'ai donc dÃ©jÃ entrÃ© x, y, sept, Ã©gal, voilÃ .
Cela Ã©quivaut Ã 78 125.
Maintenant, je veux faire cela avec le modulo de 23.
Pour cela, je vais configurer ma calculatrice en mode programmeur dans ce cas prÃ©cis.
Dans ce cas, parce que Ã§a me fait intervenir comme modÃ©rateur ici.
Il sait donc que plus de 70 000, 125.
Donc je fais simplement : mod 23 = 17.
VoilÃ comment j'ai obtenu ce numÃ©ro.
Et si je fais la mÃªme chose de l'autre cÃ´tÃ©, scientifiquement.
De l'autre cÃ´tÃ©, je vais faireâ¦ allons-y, par ici.
La base. Ã la puissance 11 dans ce cas, car il s'agit de B pur, ce
nous donne ce gros chiffre.
Et si je le change en programmeur.
Et je fais modulo 23.
Cela me donne le numÃ©ro 22.
VoilÃ comment nous avons trouvÃ© les chiffres 17 et 22.
Maintenant, il nous faut trouver notre secret commun.
Nous procÃ©dons ainsi. Nous prenons le numÃ©ro que nous avons reÃ§u de notre collÃ¨gue.
Donc, a reÃ§u 22 de son pair.
Exactement. C'Ã©tait la valeur de B.
MultipliÃ© Ã la puissance de a, modulo M, nous donne un secret partagÃ©.
Et si nous faisions la mÃªme chose Ã droite, nous obtiendrions exactement la mÃªme valeur.
Un secret partagÃ© : avoir 22 ans.
Faisons nos calculs ici.
Revenons donc aux aspects scientifiques.
Donc, j'ai reÃ§u la valeur de 22.
De la part de son pair. Il a fait cela Ã l'exposant de son propre exposant.
Parce que c'est tout ce qu'il connaÃ®t.
Il ne connaÃ®t pas l'expert de ses pairs.
VoilÃ qui rÃ©vÃ¨le toute sa valeur.
Et ensuite, nous voulons faire le modulo 23.
J'ai donc acquis un programmeur de vues.
Je dois prendre Ã§a.
Le modulo 23 me donne 22.
Et si je fais la mÃªme chose de ce cÃ´tÃ©-ci, 17 Ã la puissance 11, peu importe
c'est-Ã -dire que modulo 23 sera Ã©galement 22.
Il s'agit donc ici d'une procÃ©dure Diffie-Hellman de base.
Or, lorsqu'on procÃ¨de Ã une procÃ©dure Diffie-Hellman, l'une des premiÃ¨res choses que l'on fait gÃ©nÃ©ralement estâ¦
vous en conviendrez dans votre premier message.
Cet Ã©change correspond Ã un numÃ©ro de groupe Diffie Hellman, comme Diffie Hellman
groupe cinq ou groupe Diffie Hellman 14.
Et lorsque vous utilisez la mÃ©thode Diffie-Hellman classique, une fois que vous vous Ãªtes mis d'accord sur votre
Le groupe Diffie-Hellman, comme le groupe Diffie-Hellman cinq, par exemple, ce groupe
Ce groupe possÃ¨de un gÃ©nÃ©rateur et un module bien connus.
Cela fait donc partie intÃ©grante du groupe.
Et si j'utilise le groupe Diffie-Hellman 14, par exemple, ce sera diffÃ©rent.
gÃ©nÃ©rateur et un module diffÃ©rent.
Ce que vous garderez secret sera donc votre exposant.
Ã votre droite et Ã votre gauche.
Comment WPA3SAE utilise-t-il cela pour crÃ©er son propre rÃ©seau partagÃ© ?
Un secret ? Alors revenons-en Ã ici.
Notez donc qu'en WPA3, dans nos messages de commit, donc nos deux premiers messages
Nous sommes engagÃ©s, nos deux derniers messages sont confirmÃ©s.
Ainsi, lors de la phase de validation WPA3, nous Ã©changeons deux valeurs, une valeur scalaire et une valeur scalaire.
et une valeur d'Ã©lÃ©ment de champ fini.
Voyons donc comment ces deux valeurs sont obtenues pour chaque cas.
de ce cÃ´tÃ©, afin qu'ils puissent les Ã©changer entre eux.
Bon, donc en WPA3, nous allons commencer avec trois valeurs.
Je dirais donc trois choses, mais elles sont un peu diffÃ©rentes.
que la mÃ©thode Diffie-Hellman classique.
En WPA3, nous allons donc commencer par un Ã©lÃ©ment de mot de passe.
Et dans une autre vidÃ©o, je vais parler de la faÃ§on dont on parvient Ã un
Ã©lÃ©ment mot de passe, mais je dirais que l'Ã©lÃ©ment mot de passe est en quelque sorte dÃ©rivÃ©
en utilisant le SSID, la clÃ© prÃ©-partagÃ©e et quelques autres numÃ©ros.
Cela va donc Ãªtre intÃ©grÃ© Ã une formule complexe Ã venir.
jusqu'Ã l'Ã©lÃ©ment de mot de passe.
Nous n'avons pas vraiment abordÃ© la question de savoir comment cela se produit, mais nous y viendrons.
Supposons donc que vous ayez dÃ©jÃ calculÃ© cette formule complexe qui prend
comme entrÃ©es, le SSID, la clÃ© prÃ©-partagÃ©e et une autre valeur, et cela
vous donne un Ã©lÃ©ment de mot de passe.
Le client et le point d'accÃ¨s devraient donc dÃ©marrer correctement.
portail avec le mÃªme Ã©lÃ©ment de mot de passe.
Le client va maintenant proposer deux valeurs sÃ©lectionnÃ©es au hasard.
On appelle Ã§a simplement un petit Â« a Â» et un grand Â« a Â», et on verra comment ils sont utilisÃ©s.
Dans un instant.
Et le point d'accÃ¨s propose deux valeurs sÃ©lectionnÃ©es alÃ©atoirement, petites
a, je dis petit b et grand b.
Et puis il y aura un module statique bien connu.
Nous l'appellerons Q dans ce cas.
TrÃ¨s bien, voici comment nous obtenons notre valeur scalaire et notre Ã©lÃ©ment
valeur. Rappelez-vous, si nous revenons Ã cette diapositive, oÃ¹ en sommes-nousÂ ?
Ici, nous discutons de la faÃ§on dont nous obtenons le scalaire et
l'Ã©lÃ©ment de champ fini.
Nous obtenons donc ces deux valeurs.
Comment procÃ©dons-nous ?
D'accord, donc la valeur scalaire, et nous allons simplement appeler la valeur scalaire
pour le client, S, A.
Donc il est A, donc S minuscule A majuscule, ce sera sa valeur scalaire.
Ici, la valeur scalaire du point d'accÃ¨s sera un petit S majuscule
B ou S B. C'est son scalaire pour B, le scalaire pour A.
Alors, comment arrive-t-on Ã cette conclusion ?
Eh bien, nous prenons nos deux valeurs alÃ©atoires, nous les additionnons, donc un petit
A plus A, et ensuite on fait modulo Q.
Pour B, nous prenons ses deux valeurs sÃ©lectionnÃ©es au hasard, nous les additionnons, petit
b majuscule B, quel que soit ce que c'est, modulo Q.
VoilÃ donc la valeur scalaire qu'ils vont Ã©changer entre eux.
Et la valeur de l'Ã©lÃ©ment, donc pour l'Ã©lÃ©ment A, donc L, A, c'est l'Ã©lÃ©ment
Pour A, nous allons simplement prendre son Ã©lÃ©ment de mot de passe Ã la puissance de
A majuscule nÃ©gatif.
Donc, quelle que soit la valeur de A ici, nous allons Ã©lever PwE Ã la puissance nÃ©gative.
quoi que ce soit.
Et la mÃªme chose Ã droite.
Pour l'Ã©lÃ©ment B, nous allons prendre le mÃªme Ã©lÃ©ment de mot de passe, donc
Ils ont tous deux le mÃªme Ã©lÃ©ment de mot de passe commun Ã la puissance de nÃ©gatif
B majuscule. C'est donc ce qu'ils Ã©changent entre eux dans le commit.
messages. Nous avons constatÃ© que dans l'Ã©change de messages de validation SAE, ils Ã©changent
leurs valeurs scalaires et leurs valeurs Ã©lÃ©mentaires.
Et maintenant, nous savons mathÃ©matiquement comment ces rÃ©sultats sont obtenus.
D'accord, donc maintenant, Ã ce stade, nous sommes Ã l'arriÃ¨re, nous crÃ©ons un espace partagÃ©
secret. Donc, cela se produit avant que les confirmations ne soient faites juste aprÃ¨s la premiÃ¨re.
pour l'Ã©change des messages de validation SAE, et c'est tout.
Donc si je retourne ici.
Voyons voir, oÃ¹ Ã©tait-ce ?
Juste ici. Bon, alors ceci, nous le mettons en Ã©vidence ici.
Voici donc la communication entre le client et le point d'accÃ¨s Cisco.
Remarquez la surbrillance bleue ci-dessus.
Ceci affiche donc le message de validation que le client envoie Ã
Point d'accÃ¨s. Il dit : Â« HÃ©, voici le rÃ©sultat de mon calcul scalaire. Â»
Voici le rÃ©sultat de mon calcul par Ã©lÃ©ments finis.
Maintenant, si je pouvais cliquer sur le bouton d'authentification du message de commitâ¦
Du point d'accÃ¨s au client, nous verrions qu'il envoie son propre
Ã©lÃ©ment scalaire et Ã©lÃ©ment de champ fini.
Donc, aprÃ¨s avoir Ã©changÃ© leurs messages de commit, avant de procÃ©der Ã l'Ã©change de messages de commit,
Confirmez les messages, ils vont inventer leur propre secret commun.
Et comment cela va-t-il se passer ?
Nous pouvons le constater ici mÃªme.
Remarquez donc que le client dit ici : Â«Â Dâaccord, je viens de recevoir la valeur scalaire.Â Â»
depuis le point d'accÃ¨s.
C'est un scalaire de B.
Je vais donc Ã©lever mon Ã©lÃ©ment de mot de passe Ã la puissance de son scalaire.
Et je vais multiplier cela par son Ã©lÃ©ment de champ fini.
Nous appelons cet Ã©lÃ©ment B.
Donc voilÃ , donc je vais multiplier ces choses Ã
deux choses ensemble.
Et ensuite, quelle que soit la valeur de ce produit, Ã la puissance de ma petite valeur.
Oups, revenons en arriÃ¨re.
Et de l'autre cÃ´tÃ©, le point d'accÃ¨s va prendre la mÃªme chose
Ã©lÃ©ment de mot de passe Ã la puissance du scalaire qu'il a reÃ§u du client.
L'Ã©tape suivante consiste donc Ã confirmer les messages SAE.
Bon, voici la phase de validation.
Ils Ã©changent tous deux leur scalaire et leurs Ã©lÃ©ments.
Ils sont finalement arrivÃ©s Ã la mÃªme conclusion.
Nous avons donc la mÃªme valeur secrÃ¨te partagÃ©e.
L'objectif de la confirmation SAE est de vÃ©rifier que vous avez bien reÃ§u le document.
Le mÃªme secret que moi ?
Vous devriez le faire si vos calculs sont corrects.
L'objectif de l'Ã©change de confirmation SAE est donc de valider cela.
Alors, comment procÃ©der ?
Donc, dans le message de confirmation SAE, vous allez voir Ã§a ici dans un instant.
cette grande valeur longue, appelÃ©e jeton de confirmation.
Et c'est vraiment le rÃ©sultat de l'application dans un H.
Calcul du condensÃ© de hachage Mac Ã partir des entrÃ©es suivantes.
Donc si je suis le client, je vais maintenant prendre mon scalaire et mon Ã©lÃ©ment.
Je vais prendre le scalaire et l'Ã©lÃ©ment que vous m'avez envoyÃ©s lorsque vous
m'a envoyÃ© votre message de commit.
Je vais m'emparer du secret partagÃ© qui a Ã©tÃ© dÃ©couvert.
Et je vais prendre le numÃ©ro de sÃ©quence 1 et je vais le hacher.
avec le Mac H, avec, vous savez, le code d'authentification du message de hachage.
VoilÃ ce que propose H Mac.
Et cela va me donner la valeur de mon jeton, mon jeton de confirmation.
Et devinez quoi ? Vous allez faire exactement la mÃªme chose.
Le scalaire et l'Ã©lÃ©ment que je vous ai envoyÃ©s, vous allez prendre le partage
Le secret, c'est que vous dÃ©rivez le nombre un et que vous allez trouver
Saisissez vous-mÃªme un jeton de confirmation.
Et c'est ainsi que nous pouvons confirmer que nous avons tous les deux exactement les mÃªmes valeurs.
Voyons voir Ã§a ici.
Donc en fait, non.
Je dois donc clarifier un point que j'ai dit prÃ©cÃ©demment, car vous Ãªtes, vous
Vous pourriez lire ceci et vous dire : Â« Attendez une seconde. Â»
Les valeurs des jetons de confirmation, ce qui signifie que la couleur peut changer trÃ¨s rapidement ici.
Ces valeurs Ã©levÃ©es et longues sont-elles bien lÃ ?
Ce n'est pas la mÃªme chose.
Je vois bien ici qu'ils sont clairement diffÃ©rents, car l'un commence par un
cinq cinq en bas.
L'autre commence par C A F.
Ce n'est pas le mÃªme nombre, Keith.
Alors, que se passe-t-il ? Juste pour clarifier quelque choseâ¦
Ces deux valeurs sont donc le rÃ©sultat d'un algorithme de hachage H Mac.
Ils utilisent quasiment les mÃªmes donnÃ©es d'entrÃ©e.
Nous l'avons dÃ©jÃ vu.
Si je reviens Ã la diapositive prÃ©cÃ©dente, une secondeâ¦
Revenons ici.
Ils prennent en compte ses suggestions.
Les mÃªmes valeurs scalaires et Ã©lÃ©mentaires.
Le client et le point d'accÃ¨s prennent donc chacun leur part.
Le client rÃ©cupÃ¨re son scalaire et son Ã©lÃ©ment, et il accÃ¨de Ã l'information.
point scalaire et Ã©lÃ©ment.
Le point d'accÃ¨s prend l'Ã©lÃ©ment scalaire client et le point d'accÃ¨s
scalaire et Ã©lÃ©ment.
C'est donc la mÃªme chose des deux cÃ´tÃ©s.
Ils sont tous deux parvenus Ã la mÃªme valeur secrÃ¨te partagÃ©e.
Donc c'est la mÃªme chose.
Cela doit toutefois changer un peu.
Permettez-moi de faire une pause et de modifier cela.
D'accord. VoilÃ , j'ai essayÃ© de le rendre un peu plus correct techniquement.
J'ai modifiÃ© ce point prÃ©cis.
Vous voyez, ce qui est inclus dans le condensÃ© de hachage est une valeur de compteur de confirmation.
Les deux parties introduisent donc les scalaires et les Ã©lÃ©ments qu'elles ont toutes deux calculÃ©s.
Les deux parties mettent en avant le secret partagÃ©.
Mais il y a ensuite un compteur de confirmation.
Eh bien, lorsque le client envoie sa confirmation au point d'accÃ¨s, c'est...
le tout premier message de confirmation.
Le client aura donc un compteur de confirmation de un indiquant qu'il s'agit de la premiÃ¨re fois.
confirmer le numÃ©ro un.
Lorsque le point d'accÃ¨s crÃ©e son message de confirmation, c'est la seconde
Confirmer le message.
Le point d'accÃ¨s saisira donc la valeur deux.
Eh bien, devinez quoi ?
Juste ces deux petites diffÃ©rences, lÃ , du point de vue du client
dans un et le point d'accÃ¨s insÃ©rant deux dans ce condensÃ© de hachage est en fait
cela va donner deux chiffres trÃ¨s diffÃ©rents.
Le numÃ©ro CAF et ce numÃ©ro A55 sont en fait calculÃ©s Ã partir de
le client parce qu'il a utilisÃ© le compteur de confirmation de un et le point d'accÃ¨s
J'ai utilisÃ© le compteur de confirmation de deux.
Mais sachant cela Ã l'avance, les deux parties peuvent utiliser ces jetons de confirmation pour
vÃ©rifier que l'autre partie possÃ¨de le secret partagÃ© correct.
Et c'est prÃ©cisÃ©ment l'objectif de cet Ã©change de messages de confirmation.
Maintenant, une fois que les messages de validation ont Ã©tÃ© Ã©changÃ©s et les messages de confirmation
Une fois les clÃ©s Ã©changÃ©es, ils peuvent enfin calculer la clÃ© maÃ®tresse par paire.
aprÃ¨s cela. Donc, quand ils commenceront enfin Ã effectuer le parcours EAP Ã quatre voies au-dessus des terres
Les Ã©changes de messages commenceront par le mÃªme maÃ®tre de paire partagÃ©.
clÃ©. Mais notez qu'elle sera unique pour ces deux personnes seulement.
Ce client et ce point d'accÃ¨s auront calculÃ© une valeur totalement unique.
secret partagÃ©, qui permettra de gÃ©nÃ©rer une clÃ© maÃ®tresse unique et exclusive.
C'est diffÃ©rent si un autre client se connecte exactement au mÃªme accÃ¨s.
VoilÃ . Alors merci beaucoup d'avoir regardÃ© cette vidÃ©o et j'espÃ¨re qu'elle vous a plu.
utile pour vous.