Original title:
Verifikace systému pro detekci nežádoucího provozu
Translated title:
Verification of Intrusion Detection System
Authors:
Košař, Vlastimil ; Martínek, Tomáš (referee) ; Tobola, Jiří (advisor) Document type: Bachelor's theses
Year:
2008
Language:
cze Publisher:
Vysoké učení technické v Brně. Fakulta informačních technologií Abstract:
[cze][eng]
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.
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:
Classifier; IDS; Packet generator; SystemVerilog; TCP/IP; Verification; IDS; Klasikátor; Paketový generátor; SystemVerilog; TCP/IP; Verifikace
Institution: Brno University of Technology
(web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library. Original record: http://hdl.handle.net/11012/55390