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

Abstract

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.