[Assignment 4] 2.3 protocol colored
This commit is contained in:
parent
fd0d3d5f12
commit
edf0d79c20
2 changed files with 3 additions and 5 deletions
Binary file not shown.
|
@ -152,15 +152,13 @@
|
||||||
% Bob starts Protocol
|
% Bob starts Protocol
|
||||||
\package{10, -2}{5, -2}{\(N_B\)}
|
\package{10, -2}{5, -2}{\(N_B\)}
|
||||||
% Eve sends own Nonce (not necessary, but possible)
|
% Eve sends own Nonce (not necessary, but possible)
|
||||||
\package{5, -3}{0, -3}{\(N_E\)}
|
\package{5, -3}{0, -3}{\textcolor{red}{\(N_E\)}}
|
||||||
% Alice answers
|
% Alice answers
|
||||||
\package{0, -4}{5, -4}{\(N_A, N_E, ID_B, \text{Sig}_A(N_A, N_E, ID_B)\)}
|
\package{0, -4}{5, -4}{\(N_A, N_E, ID_B, \text{Sig}_A(N_A, N_E, ID_B)\)}
|
||||||
% Eve uses Bob as oracle - starts a new connection with Bob to obtain the Signature
|
% Eve uses Bob as oracle - starts a new connection with Bob to obtain the Signature
|
||||||
\package{5, -5}{10, -5}{\(N_A\)}
|
\textcolor{red}{\package{5, -5}{10, -5}{\(N_A\)}}
|
||||||
% Bob answers with the needed signature
|
% Bob answers with the needed signature
|
||||||
\package{10, -6}{5, -6}{\(N_B', N_A, ID_A, \text{Sig}_B(N_B', N_A, ID_A)\)}
|
\package{10, -6}{0, -6}{\(N_B', N_A, ID_A, \text{Sig}_B(N_B', N_A, ID_A)\)}
|
||||||
% Eve forwards this to Alice who now approves the signature and thinks Eve is Bob.
|
|
||||||
\package{5, -6}{0, -6}{\(N_B', N_A, ID_A, \text{Sig}_B(N_B', N_A, ID_A)\)}
|
|
||||||
}
|
}
|
||||||
\textbf{Assumptions}
|
\textbf{Assumptions}
|
||||||
\begin{enumerate}[(1)]
|
\begin{enumerate}[(1)]
|
||||||
|
|
Loading…
Reference in a new issue