TRUNEČEK, P. Kryptografické protokoly v praxi [online]. Brno: Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií. 2009.
Zadání diplomové práce bylo splněno. Student však mohl provést analýzu více protokolů. Přistup studenta k zadanému problému, byl profesionální a samostatný. Relativně pružně reagoval na veškeré výtky a připomínky vedoucího diplomové práce. Po formální stránce jsem v práci shledal jen drobné formální nedostatky, týkající se zejména interpunkce a ojedinělých překlepů. Navrhuji hodnocení B/88.
| Kritérium | Známka | Body | Slovní hodnocení |
|---|---|---|---|
| Splnění zadání | A | 46/50 | |
| Aktivita během řešení a zpracování práce (práce s literaturou, využívání konzultací, atd.) | C | 15/20 | |
| Formální zpracování práce | B | 17/20 | |
| Využití literatury | A | 10/10 |
Obsahem práce je přehled kryptografických metod a následný popis analýzy nástrojem Failure Divergence Refinement. První část, která představuje úvod do kryptografie, považuji za zcela dostatečnou pro uvedení do problematiky. Jistou slabinou je práce s doplňující literaturou, kde by bylo vhodné uvádět více odkazů na další informace a na podporu zmiňovaných tvrzení. V druhé části oceňuji především široký popis procesní algebry CSP. Tato část je zpracována dostatečně podrobně stejně jako následující analýza protokolu. Na závěr by však bylo vhodné zmínit i jiné možnosti verifikace bezpečnostních protokolů, především kvůli ne příliš častému využívání popisovaného nástroje. Po formální stránce práce vyhovuje až na občasné gramatické chyby a zkratky používané v nadpisech. Navrhuji hodnocení 90b/A.
| Kritérium | Známka | Body | Slovní hodnocení |
|---|---|---|---|
| Formální zpracování práce | C | 7/10 | |
| Interpretace výsledků a jejich diskuse | C | 15/20 | |
| Odborná úroveň práce | A | 48/50 | |
| Splnění požadavků zadání | A | 20/20 |
eVSKP id 21849