diff -r f1491e0d7be0 -r 0e78c809b17f slides/slides05.tex --- a/slides/slides05.tex Mon Dec 01 06:50:25 2014 +0000 +++ b/slides/slides05.tex Tue Dec 02 02:29:37 2014 +0000 @@ -424,12 +424,12 @@ \frametitle{Car Transponder (HiTag2)} \begin{enumerate} -\item \bl{$C$} generates a random number \bl{$r$} -\item \bl{$C$} calculates \bl{$(F,G) = \{r\}_K$} -\item \bl{$C \to T$}: \bl{$r, F$} -\item \bl{$T$} calculates \bl{$(F',G') = \{r\}_K$} +\item \bl{$C$} generates a random number \bl{$N$} +\item \bl{$C$} calculates \bl{$(F,G) = \{N\}_K$} +\item \bl{$C \to T$}: \bl{$N, F$} +\item \bl{$T$} calculates \bl{$(F',G') = \{N\}_K$} \item \bl{$T$} checks that \bl{$F = F'$} -\item \bl{$T \to C$}: \bl{$r, G'$} +\item \bl{$T \to C$}: \bl{$N, G'$} \item \bl{$C$} checks that \bl{$G = G'$} \end{enumerate}\pause