equal
deleted
inserted
replaced
422 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
422 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
423 \begin{frame}[c] |
423 \begin{frame}[c] |
424 \frametitle{Car Transponder (HiTag2)} |
424 \frametitle{Car Transponder (HiTag2)} |
425 |
425 |
426 \begin{enumerate} |
426 \begin{enumerate} |
427 \item \bl{$C$} generates a random number \bl{$r$} |
427 \item \bl{$C$} generates a random number \bl{$N$} |
428 \item \bl{$C$} calculates \bl{$(F,G) = \{r\}_K$} |
428 \item \bl{$C$} calculates \bl{$(F,G) = \{N\}_K$} |
429 \item \bl{$C \to T$}: \bl{$r, F$} |
429 \item \bl{$C \to T$}: \bl{$N, F$} |
430 \item \bl{$T$} calculates \bl{$(F',G') = \{r\}_K$} |
430 \item \bl{$T$} calculates \bl{$(F',G') = \{N\}_K$} |
431 \item \bl{$T$} checks that \bl{$F = F'$} |
431 \item \bl{$T$} checks that \bl{$F = F'$} |
432 \item \bl{$T \to C$}: \bl{$r, G'$} |
432 \item \bl{$T \to C$}: \bl{$N, G'$} |
433 \item \bl{$C$} checks that \bl{$G = G'$} |
433 \item \bl{$C$} checks that \bl{$G = G'$} |
434 \end{enumerate}\pause |
434 \end{enumerate}\pause |
435 |
435 |
436 \small |
436 \small |
437 This process means that the transponder believes the car knows |
437 This process means that the transponder believes the car knows |