|
|
Web application demonstrating lattice-based cryptography
Sečkár, Martin ; Jedlička, Petr (oponent) ; Ricci, Sara (vedoucí práce)
The aim of this thesis is to develop and implement a web application demonstrating lattice-based cryptography. The application was developed using mainly the Python programming language and Docker container platform. More specifically, the modules utilize the Bokeh library and custom JavaScript functionality expanding the Bokeh library. The modules are hosted on a Flask server where the background calculations are being computed using numPy library. The application contains three modules describing the closest vector problem, learning with errors problem and the Boyen cryptographic protocol based on the latter problem. Users are able to visualize two dimensional lattices and perform selected computations. The codebase is easily expandable and can serve as a learning platform. The thesis also includes installation and user manual.
|
|
|
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.
|
|
| |
|
|
Analysis of data transfer security issues at particular OSI model layers
Kňazovický, Pavel ; Růčka, Lukáš (oponent) ; Sobotka, Jiří (vedoucí práce)
The aim of this Bachelor's thesis is the analysis of secured data transfer protocols. The very first part is dedicated to the short description of the reference model ISO/OSI. The second one is focused to the secured protocols at particular layers of ISO/OSI model, of which SSL/TLS protocol is closely analysed in the third part. The last part is about often used attacks in the area of computer networks and their services and the basic protection against them is also mentioned.
|
|
|
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.
|
host ::
RSS.