From edf0d79c20827157b0bc5994d44cd7b17668798a Mon Sep 17 00:00:00 2001 From: bmh04 <27549756+bmh-gh@users.noreply.github.com> Date: Mon, 27 May 2024 13:02:58 +0200 Subject: [PATCH] [Assignment 4] 2.3 protocol colored --- .../abgabe.pdf | Bin 42229 -> 42221 bytes .../abgabe.tex | 8 +++----- 2 files changed, 3 insertions(+), 5 deletions(-) diff --git a/Assignment 4 - Protokollsicherheit (Praxis)/abgabe.pdf b/Assignment 4 - Protokollsicherheit (Praxis)/abgabe.pdf index d809a48dfe3d2d190f97892d3e2d96b17d1d6eb0..1aece91b6043107f563a753ccef605c4d9e55f2f 100644 GIT binary patch delta 4728 zcmV-;5{K>e$pY=k0%yHC-Z*Po}{wl zO{$W$R;oR$g8m;TIHK{RYX3Rf1vhS?D4%urhL03uK$$PrdY0ukJww(k?-Z@0c88v-!i6xH`#p; zI4PJkUT3RJTg!}>uIpN67uorP!lFGyCNxvpieQKKn1My5f!U+-k|_p?TRSMhuCPF%02icfO= zG?+s$Z>3e}W4~pQG}30g1qHj$<9GW%BQfa`8P6XTKFY+ipR+e_;W7ulSMV8A7A+2b zCQu;rLUBa_(P|nYm%|Vk(E%YpU6$8H3)A^0#vGr+dHU<)@s+`lTrzFFdIm6Fen7AJ zYr~;Ipb*}ve?Je$+4|kHL7}B)(i`iunTFg5MuSWO8N@Qs)tX)JGJ|Y_9D;%P^uhLs z1Q-S=-(+ti(Hy>=a5BWZRd**~2(MuX4vE$Z@E9hH@D|WzT503Dj_YhDnU#oHM+3Rl zTdj9e+72A#dUreP2wD-dgK=iPfm&s{zE<5%P=7Ypf7$I$3{CG0kxl5%`e4PI5o8Ii zsIO5;2tHCC??ebPju~9~o~48b!v?K9DII%eZP#)~ikDW}tQFTE>^i&YY5czk4Fyi` zUGNeFS{8zpW+XP$lVao77#TnOXfnrw<3dOz_6!h@OERO=>GL8HR{C|3aXd; zrQLG`7pN$rxxHara~+o`9vD9-+XXM!yIg=pu%yU zY3IED8tc<(BHa^g8SE~>`hC*BPiF%5S>wWCe^X+GvSKVy52QPEDXzz)|1_PsFnKXP zMqow>=f_sqkujvheZg=HBK1R34U_d6Je)S)Yb@$zSu7elN1V4Om#5XDF3Ovte_pMp zGwI>Ma+v@RdqX)54koln4x8UK<%gmMF~&`PDVtx$gUmuGC@^v2Vu@-WPiZw2DFRQW zB&2y^Oly55CQXxHPhlo^Pl6O6amq;$WMFJ3f{u~|I}*?VHy&pIK6bKc^13M+x|!!2 zYP_!3&H4^;UN4s?*k>kX6;Z~=e+W~&mQ_KmU)NPSIy;CS38jd4R_fz-bZ6r>5V)=e z$OwJfydq8L5Rc|Yr^Y2*{N%1-G>@|ayva`1HQn~;=Vh^J=aUm}P0Y7+yd96IrPi2` zus-P@HW&5nmC}0IoRB9L^`>ZkPyX3+VAT$TO@b{pS7k#->IiC`WR#1de=4dz?Ks3X zFl~(bj7{^)afrvZwd_cD^)R3UmrKXlN4o2PI~hp{KG_uDhYhvkYXo?`ts`X6JWX#R zfYI)w|JF#$L-Y?Mh@OuPa$ag7%+&rQ%7BW6zt8_^!att$Pe>1N5^AjSs(inNTnAzL zsEPvC94I8E`l61oui{U%fBwz1@XYcMi}GG%MBk4uEpXYLqaKzIl6eTNHcQ~b>K|HI zH7Eli@zi8tpeh>9U|Zo^5?r-T04=DOs=V3Oba$nkju|rMI_znq7Md^eCI%&MqZS(I zf~!_$8?`8w^2ibeZZ^e|5eyd*I}XuaM>kDL7#~FkhD9zyYVj2vf2oInMz;^9b9-nG z-QFj+54xQokW|Gswc4x$O-h9o(SmJGc9N;p#m112031+)7sM+;5?QNOy$)QQ6d%r} zh1wC+kO6xMvV|I&J2!$GQ1!@kqzqI?A$W2Cb!0jka_`c)75l5q3H2@tSXjHaqM##R zZm=OKm!0(5slP=Rf0{8@S($Q`l?iTWyvyl@9|>zU0S%&)jiEEy7+U|vcchB?T{*8% zuWhv;T4WkA0*wT~=G&WNf%OoZ79$J=>0^N%a8p?lVzvgy9QboAQsB`%uVQR*z<7mA z?v+w5J&IVulR^Emp@%6{dFPj$cbG%7b1$SVZ&%}4N=eTGe`G}cb+$SF@omltY210z za8_3-OGC4DT6)h8iWpE0EilL|x3P{60Bz5$9k?}iLmiYiS5x#|&37YeTmepqZ=O>J zg))E+U`I=ykN~JK6AS4Djl)vQ)0>2$AM&BA0f6N$U#0OVFgkJ2b9Aan)zw(RcVr}J z<(P5aQq5wHe~g47_X_}0O4HS(fMLpo*xWg*+*PpB?yV;H@SfgwoEOyzb=<}9LEXS_h|2;#0?sLSI2^AIV^clN<H6_!6!G6?5`1q+k&FAUt9>> z8Z@vkO}ao#CDExW5h-dMM$L#9rx+S;D`MSXv2KVrT|NiJAKas2I+0H7ZBap}g>_)L zrB_YI;1_(%dckKigC(HD)EDDT3VxjZhWsz6evolnUtV#g=oTi04Jf~^l(mZ`C8^t3 zya>uce?T?g)?@_gZYv=hX?MxZi>{?5VHCk2#8jJQ4&qu(Na;Y82z?Rd)4Mq5IeKzx@G}SoI9E+9EG^ z0Wh-)nsx#NQ%V?-lZ2d1f5B3a;}gR<=n}_NdUHz$zMl9sxG@7;zAtz3v+sYoi)%$4 zn?Dy4AQiE?Ye`u+L)~4ZR#;P_aLV0Yc87PsRdgtq{yZ@5setSAq=9tPBUFU+tW@=B{7_;G^0y|D_nKhML|Sa8tjv+ zXVna@Ld2|-Q}iDnpsWHRW~mC4IymdR6f;#_E_2kYGgk%Zf2Qme=SF3t9KWkv`Ty~u zv{4$il_IiXRDcV-Rq0llQqdzJh8i)ob>&hUp~&hx_&AAcR8OP|w9tCaj@cK+@>u+; zvBE_Cf=BwO1Cp69NRUe)8&n;J?+o$f(?j8J{1b{lr=#LA_b0Z{-lfaD*ndox-~#w8 zDP_tiKAaD;e^EN0_=8F)``IJJ5T`>Q~0uQvl}1=A5D`<4v`*~-t!I9e~thnc9`|2HsPCGrtibsqjc)v zh#A{-Z#s0hZ}2di%@SPvmEke;cz74@;bZ&>U*ao#ixWJ=4o~nSPVv9-pLmLAc#bo? z#5peT6aM-(to$LFx$VfbFxWs7Z_}i{m8QMhlbiEfQ06k3=b*-3HXXIu3EtI@9blmk zJEY`=e{xk4BkH`shQJG)l(h1{Lg1poi)iw)aLY6s;cV^#ImP4Bxr(AgdrMnID%sUm2xqUf&%NnN<~<3_f)QL@GjHLnSwe;w_9zOEc)6FIbh=&09`Lq$oB zs*_`sCkM`nifB&`Z;+#!=kcf zfA!C+ zj87mk&hZBzrlMt9Caj`C##S8qkz!k((7g1VzMQXrrH?z!n8yt(eco0MoXe{ixk+G0ZusA0X$zti`$mg7Nd+ zd7iHB*Pv_C1bu(^=<@cgR(Cc4uIcx7@T%e}+f{Hmsk&6EUv#OWRdC(&aGK2U!vD50 zB$ptylglPk`$6BXvP`d`XOg|5!#OxOIsE*&2juK$g1l8)$74KB@p#$^dRcfMf4?ps z-Ms2m^J$Vlc6F@d^ozrJ`W#|rKa}eCp;VuRV*L@C*^AIkUE>>QX>UX6_|p}uG6Hhk zcHQlcJB}r_#tZu1XZ#ia2fueq;9&GH&2chH-O}Z0jl}W1Ze`BU8y@{J}%xts;vegzGhQ=&e^~x1p(3Uk0C>w0< z1-)!H2L2qj#vX1~*lW?kUdtx-pKh+M&Q5!Tu=%4$2xTP=$=coa5vO9$zA3~7Hp zbom{W`Kr|U|DRDS827JS36ABVEWUOgkQxjON64=8(`y&>sV>I8pZQ;wQUPEX#qsATLdr)Gq7R7* zp$}umOdIV?O>5Jtjj5H3ux6T!J}g?;x(Y7E&dMDyXO7Kp{?B<|Gg~el7P4*PB~G$Q zV&sq{$uT)4XXKn@$tB5=0?cp5GWa|A_!`fxG{$PGphW-H>=ANG^Yq#y_|3MC~) GPeuw8K>#oS delta 4775 zcmai&MOYLJptb2nL{b{*mR6*@JEddj?sVvop<~E_p`=qJh8lXLyE~->Ng09rE&j#- zJa=(-@8UdXaTaIso+Hq15onE4lt3X#Njx84Z-BKMUf}AvshY={@|&LD4cj_sWsomY zjcnA2@ktax>VaW8k;#ZA#{`#zpW6D7;|*KY^{fg%eO&=vCImLiBow1zl1GS_ph@F}0)Z*E^%0tjZg{|P!-u#4UB_U`EBb_}0yQq!9Bhk2X0eZ?CQ z5mMLMGJi_1V#p<0A5~YjFVJJu^s&%?L5KnrLZ8!qyQg~lft5-+Y;@J!rIm+3uhQjR zln#X83-eFZ>8u~B1HRes5q(x0_l}sC_H6f|AmcXeT zyiL2J;64?2*_GIu-RfuiE?@H{G1xdSogMitqX0B_))3><{0NN@Ct)pJ3|O82_4+De zML!nNV?t)2x4Ey;p>SE78_Jo#;Ga@#ik*YOUv*zRfT`1+%PENfUX{96sD{6zH@Sp& zN{iQ(&lSIdcV!tulb#?$P%qbEQ|(6NyDvX_eQYv#(=K;)4ol_5kt`v|SG@SeNZjY) zXoaMxLR`DiE^V_kx$o(UqX*NNigwbYQ;P>0GyT3-F&{^kJk!2B28PL*d#+9LyT3Q zc2W$LlR$`mNrYStq_FyMf8dQCghNnwz0~X%LrzDNAR`Glq8zEM zB31^5{6|3eq;wt6r1@5qg^=vat^!f;jD%Tl2t6L%?1w68+F`jnhXqkD=+e|LS%$oL z)!SIF3BUFDK&wr^aj~!VD zr(a^ZU5xFfj^kjU>Ui*#SJjP)^k5-UV>FtetM}`P%oQe}CbDCgLqi0sWei z(qZbWmX{qGp?RV>XXDx>s~vqC@YvOgaOND=DXu32aVF*V(eTwNQ8xsnR^2o$dVaH2 zezCsS34=&_^k7W#6%4hH^5_*%gYG}~XTBpRF~6rkd!__~b6%v!=?Cu0@4~zCu^Y%D z(SUEF!1*2&cSVTYV3zjO!QW$J4EugSfnGqADT*TVwR2nGEKT+yZj*4#E1-XwZA?A7dm zH}(OdK`R>1kucnUhE@D`T9cc(=sScYv&yp*EADMup?!i_u)S-vw5c@Q$apKen-<{ zRF1#s&oM-*s^_ux=Ju;zKrlF@cQd25@l~xC6N;JG;F=h|(n&8pSfOWjOZ$F$LcT4d z0rP=+9{K0AyItlD4$BU#05Y9n;0TUhSGIvn-PR8SF;1_k5a!J9+EA6SM_Bi@7cI`Z zCc1p|^K#camE&owx+G29EYGV9SnQ10Bz`07rbzyQwlj;aaJA3W8eWPv!c?wW))HT1+;kcrif<*uh<0a*{$D zw~SSJ4|@E%^sQlpkuC&|&=fKvBH?`B;T!r(-iKD3jfDfw217e*g!+q%#4Z`oGDaPm zhy`J(B1zBNhMUCYk$tE$f0|^5)p(+FS1sk=YByb8-||&G?a2TYy~ESAZ8MAx;v@#e zJm-`YNE?r&pV=2)=3gfR75?Sk^>&a$Oz3QQH?KjC$g5N;@J2^2@>i4{omoxNoA##1 zI1xj_{%|#MVPneCud!UqMuD8kHH$dKn16M%M3H$H^;vWLvctx45_L0@^D^`IvmNXUTuS5v8ifvKO5{E~nSz%tOrpnJ&lQp1IPz=S@ zI6?g}gys7z!d;=Uhj7p~mb?T%4F~#)4i1Dsx{xwCc0SJ2edvl;uyhlEO6?MWM=ti~ z_7!!y%}VW(Ch&=;a~jn2^CxLdt-7b&UYI7fILp}rhESuXSnOn(t>Y8^)FAmS(pv{= zhICf3O>>mT6(T{&|LviLxftc~`R2V{nHHwMw1$&P{0tR=kJS{vN`z8k*VmpQ)ICD? zjwRKO8+IF9Ev&y|$#kqn2ZiR|o7S%;Cc8XcJ61tT96%Nc{MW>{Z5%%T_5hP0<_m78 z_Ucp8a_9;bPhm|gGnTv@A;G&b&chkh;`7{A^p;`w(WpO%!C!yW{Iyn0`qT$HCjaP{ z%7uQ6;y=F+qLhx!RaWM8T-Rz9FQg#~0~49QLSYX0%Q~TyJkt~f$&l0dSwH-yheSe# zYXo$i?F}UNDPbe1vP4bQ&EsXmB+%m?JcJt`Fh*tFIf}yLijIAeC6)H`UKAVH*a13c zj*zQ$(PT8Y&5CdHXGamiW{_39W}m$73e#xJ$Lvf)EgiEjAd<1wqN+PFKgvA zEp47>hgzgst7rHwed)tZ9x<1uq!2fk&88K9qB6;xj9zlm<}l(I``D)OZoRWX91MqhO6b+u#B?_tubcCd;6Z z0rKN0^4tk?M0BpHD{D&b`}J5*oJQuDk;7=i63`&Dirq4wZ_3h-ozUa3Uuu13@AEFe zH*R1FgOK;>;wWM6>S4#>Rf_8#onIR%V$O89xzjaYmi5N_qibV>w;7inBmF_KC3qw^ z4fB)Xknej7(w{u3;W9(|WC*PdyP8`(;1<*18R?r$8Q=con{=5V4GY<_^H{8j9ONUp zfYj((#BrnT!y<0z_#YW@J@On*kPARg);4{UG_}kHx3-Pnq3_U2gSTEqZRI|MWRTe|#S*o*8oNKx{Brli7vNP_X?yKZ zdT!k?i?(xL*{v69wGdmyLcj`!$aM}q6AX-F3TJj!{+rcn(meG@F`r;A(* zFC-S3b`+K;F&>~6Q6n+;m{WRxns$(81zk)YQnQPoc2WJ5K#$L*XcS?=>Nu#z+fUud z(jK%eC+B>rfd%C8n_d-KA2(h&lxI&N6h_CqhK@yL@#vKs4zFUV@(rvYQ?NoEu`9|5 ziZ0J@g<7p@Vn|nn*h+}yM5ARgmz*k29YR(Us+eQ-vg~~mJY#BJ!Pw*3)uO_@Z)@}5 z2Jtz5-d~^h&@&Af2DuF)bg>-@!8R4uV}Rsfzr$*j4Pa*X?s}zb=3YP+*Nc>7rikjm z4_$c?5T0j58|Mb69%nG~pf*#*k9sp_CQ_3yY}{w2=dQUEBwfQW4c63VZ)qC z%S&Z?KWTw$Ok8hVyQu1c%R-!{b?WFNQX5(Bd#tG=M!5~lYGr40=)&S*OBRk_@Y61 ztYgLf5o2*8;C~^&>w@cX`oiB6?bc2AdG&Ku3QgWX?(dN zWDW`oi;7!u&EDQ^AV`6Z48Q`3==Zc9-dOIK7Hl*62S(C+eSJxK8PpRW@G00~ne>V% zx?F0rJ|IGjyD3$~z_IcI^I31}gw8i0>jhhp0$_wVw(wo^ugVF{%la>8DEMK^j4XV> z%$jscog+*U42$iuvaA;}Gzvls`3!K3X~hbTgAc_h2OW6QfRuJuulN|xa&Jm{20c{> zEl*s9OeT>`0Vu3|(qB$5+B}q$F6>?zq=EBv>Ue+ccfg)M3Vo7O>Q1KNRQ1*`q$w5u z=&7kMAL1PtMYF&>qJ*%HPs8a&KYjt8p}eR`NOq22#C5w{^POXzk-1nm1dLT6fMmw zSqg=pjAu^3nv783$L@3r>DoKY$6_k3=q2McH$(l5tSzF32B{11s@a!93A;I9C_Yc8 z6i-c;f?-*z8z^2=aeKbk*5FvU7&+HG8PA}hNSBS6*4Su|pPl8>MgIb;>Q1HbRpUfU zL@Etj{JMHRcN)MSSDc?9dWAJ12BiSJ*H&GHGZ-5girofP#Xg8IA$KNvDK#$jGFoTIshy<>Pu;NY20G2{KU&)IEYiLP75$#P_Vw$< zGS6T=M#7Z9Z4RxSEvTLvy=_rOWJW9Xkz*vYWtL0NrSN2V{x?_g*@v%b(#;1K}O2n`9t>_Ev zpY|M+z*B$X15v%Yt{;$IP~(@zdbF*5DNkzMkL~wD_K0eu`s2tSwO-OIRz7^k02u$} zQKRskXG_0DBKh5Ck){`4A3s0;Ri@|#EzNK6*78hh$F| z9 z$|ql5K%e35zynoJZX&={>vj0NmDLAX|H2{*Sh1EL|J~F03tHQM-FN_ZyZyOs9wl)Ix??r{|0iyhN_Ci7cA!}j&_a8-s?IgwjuS7;(sRB?y z@c%b5JU=IR(XA*_+{xG7AGwM(|Yv>@#8EfgN+GPD-HQM)HeV_L8 znnSOnD)P&~@}D~hBc9!$V!RorDx0qMY8G7v1>KR;mm>pjkb7;5`XT~r^P<%)jkZ~h nD)41mE{P_UDHM|Xgo^yb!1%wn^vPH*Bg7HJV_{LyQpEcowAxk7 diff --git a/Assignment 4 - Protokollsicherheit (Praxis)/abgabe.tex b/Assignment 4 - Protokollsicherheit (Praxis)/abgabe.tex index 0b2738b..0f05beb 100644 --- a/Assignment 4 - Protokollsicherheit (Praxis)/abgabe.tex +++ b/Assignment 4 - Protokollsicherheit (Praxis)/abgabe.tex @@ -152,15 +152,13 @@ % Bob starts Protocol \package{10, -2}{5, -2}{\(N_B\)} % 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 \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 - \package{5, -5}{10, -5}{\(N_A\)} + \textcolor{red}{\package{5, -5}{10, -5}{\(N_A\)}} % 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)\)} - % 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)\)} + \package{10, -6}{0, -6}{\(N_B', N_A, ID_A, \text{Sig}_B(N_B', N_A, ID_A)\)} } \textbf{Assumptions} \begin{enumerate}[(1)]