Detail práce

Databáze specifikací bezpečnostních protokolů

Diplomová práce Student: Ondráček David Akademický rok: 2007/2008 Vedoucí: Očenášek Pavel, Mgr. Ing., Ph.D.
Název anglicky
Specifications Database of Security Protocols
Jazyk práce
český
Abstrakt

Původní protokoly, které vznikaly v počátcích vývoje počítačových sítí, již nejsou pro zajištění potřebné bezpečnosti dostačující. Proto se stále vyvíjejí a implementují protokoly nové. Důležitou součástí tohoto procesu je formální verifikace. Jde o analýzu protokolu po formální stránce, kdy se zjišťuje, zda lze protokol úspěšně napadnout. Diplomová práce se zabývá analýzou vybraných bezpečnostních protokolů a nástrojů pro jejich formální verifikaci. Výstupem praktické části je databáze specifikací protokolů v LySa kalkulu a výsledky jejich verifikace nástrojem LySatool.

Klíčová slova

Bezpečnost, komunikace, bezpečnostní protokoly, formální verifikace, analýza protokolů, verifikační nástroje, autentizace, důvěrnost.

Ústav
Ústav informačních systémů FIT VUT v Brně
Studijní program
Informační technologie, obor Informační systémy
Soubory
Stav
obhájeno, hodnocení A
Obhajoba
19. června 2008
Oponent
Trchalík Roman, Mgr., Ph.D.
Komise
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT), předseda
Burget Radek, doc. Ing., Ph.D. (UIFS FIT VUT), člen
Herout Adam, prof. Ing., Ph.D. (UPGM FIT VUT), člen
Linhart Miroslav, doc. Ing., CSc. (UPSY FIT VUT), člen
Návrat Pavol, prof. Ing., Ph.D. (FIIT STU), člen
Zbořil František, doc. Ing., Ph.D. (UITS FIT VUT), člen
Citace
ONDRÁČEK, David. Databáze specifikací bezpečnostních protokolů. Brno, 2008. Diplomová práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2008-06-19. Vedoucí práce Očenášek Pavel. Dostupné z: https://www.fit.vut.cz/study/thesis/6162/
BibTeX 
@mastersthesis{FITMT6162,
    author = "David Ondr\'{a}\v{c}ek",
    type = "Diplomov\'{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/6162/"
}

Závěrečné práce

Nahoru