From 7e21edfc02818d296c30bfc35398c61c0967b1d3 Mon Sep 17 00:00:00 2001 From: Sascha Tommasone Date: Mon, 27 May 2024 13:33:27 +0200 Subject: [PATCH] [Assignment-4] finished latex part --- .../abgabe.tex | 27 +++++++++++-------- 1 file changed, 16 insertions(+), 11 deletions(-) diff --git a/Assignment 4 - Protokollsicherheit (Praxis)/abgabe.tex b/Assignment 4 - Protokollsicherheit (Praxis)/abgabe.tex index 8d15248..11161d6 100644 --- a/Assignment 4 - Protokollsicherheit (Praxis)/abgabe.tex +++ b/Assignment 4 - Protokollsicherheit (Praxis)/abgabe.tex @@ -84,14 +84,14 @@ } \textbf{Assumptions} \begin{itemize} - \item[(1)] Eve ist Nutzer des Protokolls, damit ein \textit{Key Encryption Key} (KEK) $K_{ET}$ zwischen ihr und dem KDC existiert. + \item[(1)] Eve ist Nutzer des Protokolls, damit ein \textit{Key Encryption Key} (KEK) $K_{ET}$ zwischen ihr und dem Key Distribution Center (KDC) existiert. \item[(2)] Eve unterliegt dem Angreifermodell \textit{aktiver MitM}. \end{itemize} \noindent \textbf{Attack} \begin{enumerate} - \item Eve fängt die erste Nachricht [$Alice, Bob$] von Alice ab, ersetzt $Bob$ durch ihren eigenen Namen und leitet die Nachricht anschließend an den Server weiter. + \item Eve fängt die erste Nachricht [$Alice, Bob$] von Alice ab, ersetzt $Bob$ durch ihren eigenen Namen und leitet die Nachricht anschließend an den KDC weiter. \item Der Server antwortet mit [$\{ K \}_{K_{AT}}, \{ K \}_{K_{ET}}$]. Eve lässt diese Nachricht durch. \item Nachdem Alice den Session Key erhalten hat, schickt sie den mit $K_{ET}$ verschlüsselten Session Key $K$ an Bob. Damit Bob weiß, mit wem der Session Key ist und wie dieser verschlüsselt ist, schickt Alice nicht nur das Chiffrat, sondern $Trent, Alice$ ebenfalls mit. \item Eve fängt die Nachricht [$Trent, Alice, \{ K \}_{K_{ET}}$] ab. Aus (1) folgt, dass Eve in Besitz von $K_{ET}$ ist und kann daher den Session Key $K$ entpacken. Um das Protokoll zu beenden, und Alice endgültig davon zu überzeugen, dass sie Bob ist, schickt Eve $\{ Hello\ Alice! \}_K$ an Alice zurück. @@ -138,8 +138,9 @@ \noindent \textbf{Evaluation} \begin{itemize} - \item Der Angriff ist möglich, da beide Seiten dasselbe Challenge-Response-Protokoll zur gegenseitigen Authentifizierung verwenden. - \item Der Angriff könnte verhindert werden, indem die ID des Responders in der Response mitgeschickt wird. Diese ID sollte durch mindestens einen MAC oder eine Signatur an den eigentlichen Response-Wert gebunden werden, um jegliche Manipulation der ID zu unterbinden. Erhält einer der Kommunikationspartner eine Response mit seiner eigenen ID, kann er diese verwerfen und die Protokollsitzung beenden. + \item Das Ergebnis des Angriffes ist, dass sich Eve erfolgreich als Bob gegenüber Alice authentifiziert hat. Jedoch ist Eve nicht in Besitz des Session Keys $K'_{AB}$. + \item Der Angriff ist möglich, da beide Seiten dasselbe Challenge-Response-Protokoll zur gegenseitigen Authentifizierung verwenden.\footnote[1]{https://en.wikipedia.org/wiki/Reflection\_attack} + \item Der Angriff könnte verhindert werden, indem die ID des Responders in der Response mitgeschickt wird. Diese ID sollte durch mindestens einen MAC oder eine Signatur an den eigentlichen Response-Wert gebunden werden, um jegliche Manipulation der ID zu unterbinden. Erhält einer der Kommunikationspartner eine Response mit seiner eigenen ID, kann er diese verwerfen und die Protokollsitzung beenden.\footnotemark \end{itemize} \end{exercise} @@ -149,6 +150,7 @@ \node[] (A) at (0,0) {\textbf{Alice}}; \node[] (E) at (5,0) {\textbf{Eve}}; \node[] (B) at (10,0) {\textbf{Bob}}; + \node[] (CN) at (0,-7) {\text{check $N_A,Sig_B$}}; % Bob starts Protocol \package{10, -2}{5, -2}{\(N_B\)} % Eve sends own Nonce (not necessary, but possible) @@ -180,8 +182,9 @@ \noindent \textbf{Evaluation} \begin{itemize} + \item Das Ergebnis des Angriffes ist, dass sich Eve erfolgreich als Bob gegenüber Alice authentifiziert hat. \item Der Angriff ist möglich, da durch eine parallele Session eine Partei als Orakel genutzt werden kann, um die Nachrichten zu generieren. - \item Der Angriff könnte verhindert werden, indem erste Nonce in die Signatur von Bob einfließen müsste. Somit könnte keine parallele Session gestartet werden, da die erste Nonce nur in der originalen Session genutzt wurde. + \item Der Angriff könnte verhindert werden, indem die erste Nonce $N_B$ in die Signatur von Bob einfließen müsste. \end{itemize} \end{exercise} @@ -191,12 +194,13 @@ \node[] (A) at (0,0) {\textbf{A}}; \node[] (E) at (3,0) {\textbf{T}}; \node[] (S) at (6,0) {\textbf{Eve}}; - \node[] (S) at (9,0) {\textbf{S}}; + \node[] (S) at (9,0) {\textbf{S}}; + \node[] (CN) at (9,-7) {\text{check $N_S$}}; \package{0, -2}{9, -2}{Alice} \package{9, -3}{6, -3}{\(N_S\)} - \package{6, -4}{9, -4}{\textcolor{red}{\(N_S\)}} + \textcolor{red}{\package{6, -4}{9, -4}{\(N_S\)}} \package{9, -5}{6, -5}{\(\{Alice, \textcolor{red}{N_S}\}_{K_{ST}}\)} - \package{6, -6}{9, -6}{\(\{Alice, N_S\}_{K_{ST}}\)} + \textcolor{red}{\package{6, -6}{9, -6}{\(\{Alice, N_S\}_{K_{ST}}\)}} } \textbf{Assumptions} @@ -210,15 +214,16 @@ \item A baut eine Kommunikation mit S auf, indem sie die Nachricht Alice an S schickt. \item S antwortet mit einer Nonce. Eve fängt diese ab und sendet sie einfach an S zurück. \item S erwartet hier die Nonce verschlüsselt von Alice. Daher sendet S einfach die beiden Nachrichten, mit dem gemeinsamen Schlüssel mit T verschlüsselt, an T. - \item Eve fängt diese Nachricht ab. Da der Trent sich nicht authentifizieren muss, kann Eve einfach die Nachricht an S zurück schicken. + \item Eve fängt diese Nachricht ab. Da der Trent sich nicht authentifizieren muss, kann Eve einfach die Nachricht an S zurückschicken. \item S entschlüsselt die erhaltene Nachricht und prüft die Nonce, die nun korrekt ist. \end{enumerate} \noindent \textbf{Evaluation} \begin{itemize} - \item Der Angriff funktioniert in erster Linie, weil T sich nicht authentifizieren muss. Zudem sind die beiden letzten Pakete vom Aufbau identisch und können somit einfach miteinander ersetzt werden. - \item Der Angriff könnte verhindert werden, wenn T sich authentifizieren müsste. Dann könnte ein $MitM$ Angreifer nicht einfach Pakete an T reflektiert. + \item Das Ergebnis des Angriffes ist, dass sich Eve erfolgreich als A gegenüber S authentifiziert hat. + \item Der Angriff funktioniert in erster Linie, weil T sich nicht authentifizieren muss. Zudem sind die beiden letzten Pakete vom Aufbau identisch und können somit einfach miteinander ersetzt werden. Es handelt sich somit um einen \textit{Type Flaw Attack}. + \item Der Angriff könnte verhindert werden, wenn T sich authentifizieren müsste. Dann könnte ein $MitM$ Angreifer nicht einfach Pakete an T reflektieren. \end{itemize} \end{exercise} \end{document} \ No newline at end of file