nechodím na prednáškySKS tyzden 6 cvicenie
Preber si túto prednášku so svojou AI
Skopíruj pripravený podklad a vlož ho do ChatGPT, Claude alebo inej AI — bude ťa učiť alebo skúšať len z tejto prednášky.
Zhrnutie prednášky
Prednáška nadväzuje na tému dokazateľnej bezpečnosti kryptografických protokolov a vysvetľuje, že bezpečnostné dôkazy platia iba v rámci zjednodušeného modelu reálneho sveta, nie priamo v realite. Dôkazy sú redukcionistické – bezpečnosť protokolu sa redukuje na ťažkosť riešenia iného, dôveryhodne ťažkého problému (napr. diskrétny logaritmus či faktorizácia). Ďalej sa preberajú softvérové nástroje na formálnu analýzu protokolov, delené na podporné nástroje pre tvorbu dôkazov bezpečnosti (napr. EasyCrypt, CryptoVerif) a symbolické nástroje, ktoré reprezentujú kryptografické primitívy ako symboly manipulované podľa gramatiky formálneho jazyka. Zdôrazňuje sa, že ani tieto nástroje negarantujú absolútnu bezpečnosť, keďže pracujú s obmedzeným modelom a konečným počtom behov protokolu, no sú veľmi užitočné pri odhaľovaní útokov. Na záver sa avizuje prechod k neformálnej analýze protokolov založených na symetrickej kryptografii a bonusové úlohy.
- - Dôkaz "provably secure" platí len v zjednodušenom modeli, nie automaticky v reálnom svete.
- - Dôkazy bezpečnosti sú redukcionistické – zlomenie protokolu by implikovalo vyriešenie známeho ťažkého problému P.
- - Bezpečnostné dôkazy bývajú matematicky rozsiahle a náchylné na chyby, aj po publikovaní.
- - Softvérové nástroje sa delia na podporné nástroje pre dôkazy (EasyCrypt, CryptoVerif) a symbolické nástroje.
- - Symbolické nástroje reprezentujú kryptografické primitívy ako symboly a pracujú podľa pravidiel formálnej gramatiky.
- - Nástroje majú obmedzený počet simulovaných behov protokolu, takže absencia útoku negarantuje 100% bezpečnosť.
- - Nasleduje neformálna analýza protokolov založených na symetrickej kryptografii s viacerými bonusovými príkladmi.
Zhrnutie pripravené s pomocou AI z prepisu videa.
