Detail práce

Verifikace systému pro detekci nežádoucího provozu

Bakalářská práce Student: Košař Vlastimil Akademický rok: 2007/2008 Vedoucí: Tobola Jiří, Ing.
Název anglicky
Verification of Intrusion Detection System
Jazyk práce
český
Abstrakt

Tato práce pojednává o verifikaci systému pro detekci nežádoucího provozu a jeho rozšíření o podporu protokolu IPv6. Jsou zde popsány možnosti jazyka System Verilog pro verifikaci, vybranná metodologie verifikace, výhody a nevýhody různých přístupů k verifikaci a testování. Je navržena struktura systému pro verifikaci klíčových částí systému pro detekci nežádoucího provozu, jehož klíčovou součástí je paketový generátor.

Klíčová slova

Verifikace, SystemVerilog, TCP/IP, Klasikátor, Paketový generátor, IDS

Ústav
Ústav počítačových systémů FIT VUT v Brně
Studijní program
Informační technologie
Soubory
Stav
obhájeno, hodnocení A
Obhajoba
9. června 2008
Oponent
Martínek Tomáš, doc. Ing., Ph.D.
Komise
Kotásek Zdeněk, doc. Ing., CSc. (UPSY FIT VUT), předseda
Drábek Vladimír, doc. Ing., CSc. (UPSY FIT VUT), člen
Hrubý Martin, Ing., Ph.D. (UITS FIT VUT), člen
Malo Roman, Ing., Ph.D. (Mendelu), člen
Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS FIT VUT), člen
Strnadel Josef, Ing., Ph.D. (UPSY FIT VUT), člen
Citace
KOŠAŘ, Vlastimil. Verifikace systému pro detekci nežádoucího provozu. Brno, 2008. Bakalářská práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2008-06-09. Vedoucí práce Tobola Jiří. Dostupné z: https://www.fit.vut.cz/study/thesis/6840/
BibTeX 
@bachelorsthesis{FITBT6840,
    author = "Vlastimil Ko\v{s}a\v{r}",
    type = "Bakal\'{a}\v{r}sk\'{a} pr\'{a}ce",
    title = "Verifikace syst\'{e}mu pro detekci ne\v{z}\'{a}douc\'{i}ho provozu",
    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/6840/"
}

Závěrečné práce

Nahoru