Finish signature

algebre-non-lineaire/main.tex

@@ -892,9 +892,27 @@
         \end{center}
 
         Bob publie un code d'authentification $AC_B$.
-        Il calcule $AC_B^{d_B}[n_B] = V$.
-        Cette valeur $V$, seul Bob est capable de la produire.
-        Il la chiffre avec la clé d'Alice~: $(n_A, e_A)$.
+        Sa signature se fait en deux étapes~:
+
+        \begin{enumerate}
+
+            \item Il calcule $AC_B^{d_B}[n_B] = V$.
+                Cette valeur $V$, seul Bob est capable de la produire.
+
+            \item Il la chiffre avec la clé d'Alice~: $(n_A, e_A)$.
+
+        \end{enumerate}
+
         On a donc $(S_B\rightarrow A)$, la signature de Bob à Alice.
+        Pour vérifier la signature, Alice va aussi procéder en deux étapes~:
+
+        \begin{enumerate}
+
+            \item Elle reçoit $(S_B\rightarrow A)$, qu'elle déchiffre avec $(n_A, d_A)$, ce qui lui donne $V$.
+
+            \item Elle fait le calcul $V^{e_B}[n_B]$, ce qui doit lui donner $AC_B$.
+
+        \end{enumerate}
+
 
 \end{document}