|
|
Specifikační jazyky a nástroje pro analýzu a verifikaci bezpečnostních protokolů
Ptáček, Michal ; Trchalík, Roman (oponent) ; Očenášek, Pavel (vedoucí práce)
Tato diplomová práce se zabývá analýzou verifikačních nástrojů, které jsou používané pro automatickou verifikaci převážně bezpečnostních protokolů. Bezpečnostní protokoly se používají pro vytvoření privátních komunikačních kanálů v nezabezpečené síti. Bezpečnost nebude nikdy absolutní, a proto je nezbytné stále hledat chyby v bezpečnostních protokolech a podle nich pak tyto protokoly vylepšovat. V rámci této diplomové práce jsem se zaměřil na hledání různých verifikačních nástrojů na Internetu, následně jsem podle dostupných informací každý nalezený nástroj popsal v této práci tak, aby si čitatel mohl snadno vybrat, který nástroj se hodí zrovna pro ten jeho konkrétní problém. Na konci popisu jednotlivých nástrojů jsem hlavní klady a zápory shrnul do několika bodů.
|
|
|
Mezinárodní úmluvy a dohody v oblasti mezinárodního civilního letectví
Procházková, Hana ; Šplíchal, Miroslav (oponent) ; Chlebek, Jiří (vedoucí práce)
Tato bakalářská práce zpracovává problematiku mezinárodních úmluv a dohod v oblasti mezinárodního civilního letectví, kterými je Česká republika vázána. Informace o tomto tématu jsem čerpala převážně z elektronických verzí úmluv a dohod a z portálů zabývajících ať už leteckou, nebo právní tématikou. Každou mnohostrannou úmluvu jsem pak zvlášť charakterizovala. Úmluvy a dohody jsou v práci seřazeny chronologicky, tak jak se postupně vyvíjely. Pro lepší orientaci jsem je navíc rozdělila do čtyř hlavních skupin. Seznam dvoustranných dohod, kterými je Česká republika vázána, jsem pak uvedla v příloze. Do přílohy jsem také zařadila změny mezinárodních úmluv a vzorové příklady otázek, které mohou posloužit jako pomůcka pro studenty. Pro názornější přehled jsem na závěr vytvořila časovou osu, kde jsem znovu jen velmi stručně uvedla, čeho se daná úmluva týká, kdy vznikla, do kdy platila, případně jakou další úmluvou byla nahrazena. Práce může být dále použita například při teoretické výuce pilotních žáků, nebo jako pomůcka při přípravě na teoretické pilotní zkoušky.
|
|
|
Generování stromových struktur pro účely testování informačních systémů
Rozsíval, Michal ; Hruška, Martin (oponent) ; Smrčka, Aleš (vedoucí práce)
Cílem této práce je vytvořit nástroj automatizující testování informačních systémů. Nástroj vytváří testovací zprávy podobné těm v reálném provozu, přičemž podobností se v rámci této práce rozumí podobnost struktur posílaných dat. Princip činnosti spočívá ve zpracování záznamu komunikace, který si nástroj načte a jednotlivé v něm obsažené zprávy převede do uniformního formátu. Takto uložené zprávy klasifikuje do skupin, které abstrahuje do podoby vhodné pro následné generování náhodných testovacích zpráv. Podporována je komunikace prostřednictvím protokolu REST API a OPC UA a stromově strukturovaná data ve formátu JSON a XML . Nové zprávy jsou vytvářeny na základě kombinačního testování s pokrytím Pair-Wise . Výsledná funkcionalita nástroje byla ověřena na reálných záznamech komunikace.
|
|
| |
|
|
Audio/Video streaming
Čeněk, Radek ; Jeřábek, Jan (oponent) ; Číka, Petr (vedoucí práce)
Tato práce čtenáře podrobně seznamuje s problémem audio/video streamingu skze síť Internet. Dále mu také přiblíží technologie MySQL, PHP, JavaScriptu a ffmpeg. Je zde uveden malý průzkum podobných aplikací. Při vytváření programu videotéky ukazuje složitost problému a jeho možné řešení. Součástí práce je i zjištění náročnosti komprese na server.
|
|
|
Virtualizace FITkitu
Vavruša, Marek ; Korček, Pavol (oponent) ; Vašíček, Zdeněk (vedoucí práce)
Práce se zabývá komplexní virtualizací výukové platformy FITkit. První část bakalářské práce popisuje rozšíření knihovny libkitclient o podporu virtuálních zařízení a návrh protokolu pro sdílení platformy FITkit v IP sítích. Protokol je rozšířen o podporu automatického vyhledávání zařízení v místní síti pomocí protokolu UDP multicast. Druhá část práce se zabývá návrhem architektury pro vzdálený překlad aplikací pro platformu FITkit a její implementací v programech fcmake a QDevKit. Poslední část práce shrnuje dosažené výsledky a představuje další možnosti rozšíření.
|
|
| |
|
|
Zajištění kvality služeb pomocí protokolu MPLS
Henzl, Václav ; Novotný, Vít (oponent) ; Hošek, Jiří (vedoucí práce)
Cílem této semestrální práce je vytvoření modelu MPLS sítě v programovém vybavení OPNET Modeler a následné simulování chování této sítě se zaměřením na zajištění kvality služeb. Tato práce obsahuje teoretický úvod do problematiky MPLS sítí a zajištění kvality služeb - dále se zabývá simulací přenášení datových toků v rozšířeném modelu komunikační sítě s kladením důrazu na chování přenosu hlasu - Voice Over IP. Práce v několika scénářích zkoumá vlastnosti MPLS a jeho vliv na dosažení kvality služeb.
|
|
|
Bezpečnostní protokoly v praxi
Milfajt, Jiří ; Koutný, Martin (oponent) ; Pelka, Tomáš (vedoucí práce)
Tato práce mapuje dnes nejvíce používané AAA protokoly. Patří mezi ně především protokoly RADIUS, TACACS+, DIAMETER a KERBEROS. První část se zaměřuje na jejich hlavní znaky. U všech je popsána základní komunikace mezi uživatelem a serverem. Dále jsou obsaženy srovnání jednotlivých protokolů sledující zejména jejich výhody, nevýhody a možné bezpečnostní slabiny. V druhé části je rozebrána konfigurace protokolů RADIUS a KERBEROS.
|
|
|
Počítačová hra pro více hráčů
Kudr, Michal ; Herout, Adam (oponent) ; Hradiš, Michal (vedoucí práce)
Cílem mojí práce je seznámení se základy tvorby počítačových her. V této práci je možné nalézt například základní informace o tvorbě herní scény, změnách stavu hry pomocí událostí z uživatelského vstupu a jednoduché řešení hry pro více hráčů. Pomocí získaných znalostí navrhuji jednoduchý tankový simulátor pro více hráčů v síťovém virtuálním prostředí.
|
host ::
RSS.