|
|
AUTOMATED TESTING OF 10GbE DEVICES
Avramović, Nikola ; Dvořák, Vojtěch (oponent) ; Fujcik, Lukáš (vedoucí práce)
This thesis deals with the designs of the functional verification model and the synthesizable tester of the 10Gb Ethernet devices that use XGMII interface. VHDL programming language is used to describe the model. This thesis consists of the creation of the bus functional model and the design of the tester that is implemented as a generic self-test module. The resulting design allows for verification and testing of the PHY and MAC layers. DE5-Net development board was used in the implementation of the tester. The board was fitted with FPGA Stratix V circuit, by Altera.
|
|
|
Útoky na standard 802.11
Burian, Vojtěch ; Horváth, Tomáš (oponent) ; Novotný, Bohumil (vedoucí práce)
Práce se věnuje problematice standardu 802.11, zabezpečení bezdrátových sítí, a to jak z historického hlediska, tak ze současnosti. První část je věnována problematice zabezpečených sítí WEP. Následně je navázáno na zabezpečení sítí avšak z novějšího hlediska a to zabezpečení sítí pomocí WPA a WPA2. Bude nastíněněno základní fungování a přehled standardu 802.11, uvedení známých útoků na tyto zabezpečení a poukázání na známé chyby. Mnoho starších zařízení disponují pouze zabezpečením WEP. Proto je navrhnuto lepší systémové zabezpečení tohoto protokolu WEP. Jsou uvedeny modernější metody zabezpečení WPA a WPA2. Druhá část práce je zaměřena na simulaci útoku na zabezpečení sítí. Tato část rozebírá problematiku ve spojitost s prolamováním zabezpečení WEP, WPA a WPA2.
|
|
| |
|
|
Evaluation of complex situations from airplane’s avionics
Vysloužil, Ondřej ; Svoboda,, Jiří (oponent) ; Honzík, Petr (vedoucí práce)
This project takes a look on avionics data more comprehensively and it can be understood as an upper layer over fault monitoring systems providing extra information about flight. For concrete design were selected Airbus A320 a A340 to represent modern, widely used transport types of aircraft. Developed application analyzes two chosen complex situations from avionics dataflow and looks for conditions which lead to abnormal aircraft behaviour (but not faults). This work is primarily focused on flight phases, data structure and categorization and application development based on fuzzy system with expert knowledge represented by its rules.
|
|
|
Zabezpečení bezdrátových sítí
Sedlák, Břetislav ; Krajsa, Ondřej (oponent) ; Lambertová, Petra (vedoucí práce)
Diplomová práce se zaměřuje na zabezpečení bezdrátových sítí a je rozdělena do dvou částí. První část obsahuje přiblížení jednotlivých, dnes používaných standardů a jejich doplňků, topologií a metod zabezpečení. Popsány jsou metody skrývání SSID, filtrování MAC adres, WEP, WPA a WPA2. Poslední tři metody jsou probrány podrobně. V druhé části jsou realizovány útoky na popsané metody zabezpečení. Jsou zde popsány útoky na WEP jako KoreK chopchop útok, fragmentační útok, útok FMS, KoreK a PTW útok. Následně je popsán slovníkový útok na získání passphrase u WPA/WPA2 s PSK autentizací, předvypočítání hash tabulky pro rychlejší nalezení passphrase a využití více jádrových procesorů během prohledávání slovníku. Poslední útok popisuje zjištění keystream použitého pro šifrování rámců u WPATKIP a následné vyslaní vlastních dat klientovi. U každého útoku je popsáno jak jej provést i jak se jednotlivým útokům dá bránit.
|
|
|
Insurance frauds
Rácz, Pavel ; Ducháčková, Eva (vedoucí práce) ; Oborilová, Mária (oponent)
Diplomová práce je zaměřená na analýzu problematiky pojistných podvodů. V úvodních kapitolách obeznamuje čitatele práce se samotným pojmem pojistný podvod, s legislativní úpravu v České republice, s členěním pojistných podvodů a se způsoby, jak je možné proti takovému podvodnímu jednání bojovat. Praktická část práce je primárně zaměřená na statistickou a ekonometrickou analýzu výšky odhalených pojistných podvodů za roky 2007-2014. Použitím ekonometrické analýzy v programu Eviews je vybrán nejvhodnější model pro časovou radu, na základě kterého jsou konstruovány předpovědi na roky 2015 a 2016. V samotném závěru práce je uvedena ekonomická interpretace empiricky naměřených a předpověděných hodnot.
|
host ::
RSS.