Verifikace systému pro detekci nežádoucího provozu
| but.committee | cs | |
| but.defence | cs | |
| but.jazyk | čeština (Czech) | |
| but.program | Informační technologie | cs |
| but.result | práce byla úspěšně obhájena | cs |
| dc.contributor.advisor | Tobola, Jiří | cs |
| dc.contributor.author | Košař, Vlastimil | cs |
| dc.contributor.referee | Martínek, Tomáš | cs |
| dc.date.accessioned | 2018-10-21T21:40:54Z | |
| dc.date.available | 2018-10-21T21:40:54Z | |
| dc.date.created | 2008 | cs |
| dc.description.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. | cs |
| dc.description.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. | en |
| dc.description.mark | A | cs |
| dc.identifier.citation | KOŠAŘ, V. Verifikace systému pro detekci nežádoucího provozu [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2008. | cs |
| dc.identifier.other | 25344 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/55390 | |
| dc.language.iso | cs | cs |
| dc.publisher | Vysoké učení technické v Brně. Fakulta informačních technologií | cs |
| dc.rights | Standardní licenční smlouva - přístup k plnému textu bez omezení | cs |
| dc.subject | Verifikace | cs |
| dc.subject | SystemVerilog | cs |
| dc.subject | TCP/IP | cs |
| dc.subject | Klasikátor | cs |
| dc.subject | Paketový generátor | cs |
| dc.subject | IDS | cs |
| dc.subject | Verification | en |
| dc.subject | SystemVerilog | en |
| dc.subject | TCP/IP | en |
| dc.subject | Classifier | en |
| dc.subject | Packet generator | en |
| dc.subject | IDS | en |
| dc.title | Verifikace systému pro detekci nežádoucího provozu | cs |
| dc.title.alternative | Verification of Intrusion Detection System | en |
| dc.type | Text | cs |
| dc.type.driver | bachelorThesis | en |
| dc.type.evskp | bakalářská práce | cs |
| dcterms.dateAccepted | 2008-06-09 | cs |
| dcterms.modified | 2020-05-09-23:40:51 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 25344 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2020.05.10 01:02:18 | en |
| sync.item.modts | 2020.05.10 00:40:53 | en |
| thesis.discipline | Informační technologie | cs |
| thesis.grantor | Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav počítačových systémů | cs |
| thesis.level | Bakalářský | cs |
| thesis.name | Bc. | cs |