--- a/hws/hw05.tex Fri Nov 14 23:04:40 2014 +0000
+++ b/hws/hw05.tex Mon Nov 17 18:49:13 2014 +0000
@@ -69,12 +69,12 @@
key transponder:
\begin{enumerate}
-\item $C$ generates a random number $r$
-\item $C$ calculates $(F,G) = \{r\}_K$
-\item $C \to T$: $r, F$
-\item $T$ calculates $(F',G') = \{r\}_K$
+\item $C$ generates a random number $N$
+\item $C$ calculates $(F,G) = \{N\}_K$
+\item $C \to T$: $N, F$
+\item $T$ calculates $(F',G') = \{N\}_K$
\item $T$ checks that $F = F'$
-\item $T \to C$: $r, G'$
+\item $T \to C$: $N, G'$
\item $C$ checks that $G = G'$
\end{enumerate}