SKS 2022 prednaska tyzden 7

Zhrnutie prednášky

Prednáška dokončuje kapitolu 1.5 z knihy Protocols for Authentication and Key Establishment (Boyd, Mathuria, Stebila) témou efektivity protokolov (podkapitoly o deniability a anonymity sa preskakujú). Rozlišuje výpočtovú (computational), pamäťovú (storage) a komunikačnú efektivitu, pričom komunikačná sa meria počtom tokov a kôl. Na Diffieho-Hellmanovom protokole s potvrdením kľúča (key confirmation) pomocou MAC-ov ukazuje, že minimalizácia počtu kôl môže byť v konflikte s minimalizáciou počtu tokov: verzia 1 má 2 kolá a 4 toky, verzia 2 má 3 kolá a 3 toky. Protokol zodpovedá protokolu 5.22 z knihy a viaže sa naň bonusová úloha o odolnosti voči útoku man-in-the-middle. Prednášajúci ďalej plánuje témy provable security a softvérové nástroje na formálnu analýzu protokolov.

• - Efektivita protokolov má tri druhy: výpočtovú, pamäťovú a komunikačnú.
• - Asymetrická kryptografia zvyšuje výpočtovú náročnosť a nároky na pamäť (uchovávanie verejných kľúčov partnerov).
• - Tok (flow) je množina správ, ktoré možno poslať naraz spolu; kolo (round) je množina správ, ktoré možno poslať paralelne.
• - Základný Diffieho-Hellmanov protokol má dva toky a jedno kolo.
• - Potvrdenie kľúča sa realizuje MAC-mi nad identifikátormi a hodnotami T_A, T_B; poradie prvkov sa v Bobovom MAC-u mení, aby sa zabránilo reflection útokom.
• - Minimalizácia počtu kôl môže byť v konflikte s minimalizáciou počtu tokov: verzia 1 má 2 kolá a 4 toky, verzia 2 má 3 kolá a 3 toky.
• - Voľba medzi minimalizáciou kôl a tokov závisí od konkrétnej aplikácie; bonus č. 4 sa týka protokolu 5.22 a odolnosti voči man-in-the-middle útoku.

Zhrnutie pripravené s pomocou AI z prepisu videa.