Protocole de Needham-Schroeder
Bonjour tout le monde,
J'ai un petit exo (bien dur) à propose du protocole de Needham-Schroeder:
Image supprimée
Après 15 minutes pour familiariser avec la notation qui est assez loin de la notation standard (sans doute pour nous brouiller un peu la piste), j'ai enfin compris qu'il s'agit du protocole de Needham-Schroede Extended:
Image supprimée
Alors, à priori le Nb permet d'empêcher le rejeu; mais j'ai remarqué à partir de l'étape 5, le protocole d’exercice est légèrement différent du protocole de Needham-Schroede Extended, alors est-qu'il changera quelque chose!?
Je vous remercie par avance pour votre aide!
-----