Thesis Details

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

Bachelor's Thesis Student: Košař Vlastimil Academic Year: 2007/2008 Supervisor: Tobola Jiří, Ing.
English title
Verification of Intrusion Detection System
Language
Czech
Abstract

This thesis focuses on verification of Intrusion Detection System and its IPv6 support extension. Here are described posibilities of SystemVerilog for verification, choosen verification methodology, pros and cons of different verification and testing approaches. Here is designed structure of verification of key parts of Intrusion Detection System. The key component of verification system is Packet Generator.

Keywords

Verification, SystemVerilog, TCP/IP, Classifier, Packet generator, IDS

Department
Department of Computer Systems FIT BUT
Degree Programme
Information Technology
Files
Status
defended, grade A
Date
9 June 2008
Reviewer
Martínek Tomáš, doc. Ing., Ph.D.
Committee
Kotásek Zdeněk, doc. Ing., CSc. (DCSY FIT BUT), předseda
Drábek Vladimír, doc. Ing., CSc. (DCSY FIT BUT), člen
Hrubý Martin, Ing., Ph.D. (DITS FIT BUT), člen
Malo Roman, Ing., Ph.D. (Mendelu), člen
Matoušek Petr, doc. Ing., Ph.D., M.A. (DIFS FIT BUT), člen
Strnadel Josef, Ing., Ph.D. (DCSY FIT BUT), člen
Citation
KOŠAŘ, Vlastimil. Verifikace systému pro detekci nežádoucího provozu. Brno, 2008. Bachelor's Thesis. Brno University of Technology, Faculty of Information Technology. 2008-06-09. Supervised by Tobola Jiří. Available from: https://www.fit.vut.cz/study/thesis/6840/
BibTeX 
@bachelorsthesis{FITBT6840,
    author = "Vlastimil Ko\v{s}a\v{r}",
    type = "Bachelor's thesis",
    title = "Verifikace syst\'{e}mu pro detekci ne\v{z}\'{a}douc\'{i}ho provozu",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2008,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/6840/"
}

Theses

Back to top