Detail práce
Databáze specifikací bezpečnostních protokolů
Tato bakalářská práce pojednává o bezpečnostních protokolech, které slouží jako prostředek pro vytvoření chráněné komunikace ve veřejné síti, Internetu. Bezpečnostních protokolů je celá řada. Proto jsem vybral jen pár nejznámějších protokolů a podrobně je analyzoval. Z dostupných zdrojů jsem shromáždil informace o protokolech, které vždy jednotně uvádím u každého z nich. Hlavním přínosem mé studie o bezpečnostních protokolech je prozkoumání množin, které se úzce vztahují k běhu bezpečnostního protokolu. Jedná se o množinu znalostí a množinu předpokladů jednotlivých subjektů, které se podílí na komunikaci pomocí daného protokolu. Tyto množiny pak uvádím v počátečním, cílovém a aktuálním stavu. Na závěr shrnuji všechny zpracované protokoly do přehledné tabulky, která je i s detaily všech protokolů převedena do počítačové databáze a veřejně přístupná na fakultních stránkách.
Bezpečnostní protokoly, specifikace, množina znalostí, množina předpokladů, útok, symetrické šifrování, asymetrické šifrování, důvěryhodný server, autentizace, distribuce klíče.
Peringer Petr, Dr. Ing. (UITS FIT VUT), člen
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS FIT VUT), člen
Sojka Petr, doc. RNDr., Ph.D. (FI MUNI), člen
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT), člen
@bachelorsthesis{FITBT6131, author = "Zden\v{e}k Pape\v{z}", type = "Bakal\'{a}\v{r}sk\'{a} pr\'{a}ce", title = "Datab\'{a}ze specifikac\'{i} bezpe\v{c}nostn\'{i}ch protokol\r{u}", school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}", year = 2008, location = "Brno, CZ", language = "czech", url = "https://www.fit.vut.cz/study/thesis/6131/" }