|
|
Bezpečnostní testování vybraných síťových protokolů a souvisejících zranitelností
Böhmová, Monika ; Šeda, Pavel (oponent) ; Jeřábek, Jan (vedoucí práce)
Práce se zabývá problematikou protokolů IPv6, ICMPv6 a DNS, zranitelnostmi těchto protokolů a jejich testováním. Jsou zde vysvětleny metody testování, mezi které patří metody black-box, white-box a grey-box. Testovací případy a scénáře jsou uvedeny pro testování metodami black-box a white-box, dále je rozlišováno manuální testování a testování za pomoci automatických nástrojů. Součástí práce je tvorba testovacího prostředí a nástroje pro automatické testování. Prostředí je tvořeno pomocí nástroje pro virtualizování síťové infrastruktury a jejích prvků za využití nástroje GNS3. Nástroj je tvořen v programovacím jazyce Python 3. Tento nástroj obsahuje skripty, které testují zařízení, zjišťují nastavení sítě a také ověřují, zda je zařízení zranitelné na útok typu Man in the Middle. Testování samotného nástroje je prováděno nad testovacím prostředím s různými typy koncových zařízení, které ovlivňují průběh testů a výsledků, které jsou výstupem nástroje v strojově zpracovatelném či snadněji lidsky pochopitelném formátu.
|
|
|
Implementace služby pro zpracování diagnostických dat z automobilu
Szymutko, Jaromír ; Pokorný, Jiří (oponent) ; Šeda, Pavel (vedoucí práce)
Bakalářská práce se zabývá vývojem webové aplikace, která má za úkol získávat a vyhodnocovat diagnostická a informativní data z automobilu. Serverová část této aplikace byla vyvinuta v programovacím jazyce Java s podporou frameworku Spring. Tato část zajišťuje veškerou aplikační logiku a propojení s databází. Uživatelské rozhraní bylo vytvořeno pomocí HTML šablon a k nim přidružených CSS souborů pro stylizaci. Dynamické prvky byly implementovány pomocí skriptů v programovacím jazyce JavaScript. Aplikace umožňuje uživateli registraci s potvrzením, přihlášení, registraci automobilu, sledování diagnostických a informativních dat přicházejících z automobilu a přidání informací do profilu uživatele. Data z těchto hlášení jsou přehledně prezentována v tabulkách, případně v grafech.
|
|
|
Modules for Manual Penetration Testing of a Web Application
Heriban, Radoslav ; Martinásek, Zdeněk (oponent) ; Šeda, Pavel (vedoucí práce)
The main goal of this master's thesis was development of Burp Suite extension capable of interacting with various other automated tools, accompanied with development of a web application. Chapter two contains analysis of tools commonly used in penetration testing that could benefit from the ability to share Burp Suites data or functionality. The programming languages used were Java and JavaScript. The extension acts as a gateway to inner functionality of Burp Suite. It enables exfiltration of in memory objects such as sitemap, proxy history or found issues in JSON format to other tools, and also listens for incoming data that can be inserted into it's existing modules such as Repeater, Scanner, Spider or Comparer. Frontend application was written using JavaScript library React. The web application offers a graphical visualization of issue data.
|
|
|
Integrace ITSM aplikací prostřednictvím webových služeb a IBM cloudu
Gryc, Václav ; Hošek, Jiří (oponent) ; Šeda, Pavel (vedoucí práce)
Tato diplomová práce se zabývá vývojem software s možností integrace ITSM řešení. Cílem práce je návrh vhodné softwarové architektury integrační aplikace v cloudovém prostředí. Z důvodu využití řešení pro mnoho zákazníku je kladen důraz na udržitelnost a znovupoužitelnost. Po rozsáhlé analýze technologií byla vytvořena webová aplikace, která je plně konfigurovatelná pro uspokojení široké škály zákaznických potřeb. Pro vývoj aplikace je rozhodnuto využití prostředí Node.js a framework Loopback 4. To zajišťuje nižší náklady na provoz cloudových zdrojů, oproti konkurenčním technologiím, jako je například Java. Celý systém je nasazen do IBM Cloud. Výsledná aplikace je uvedena do produkce ve firmě IBM.
|
|
|
The Optimisation Of Large Scale Logical Circuits
Seda, Pavel
In the phase of designing the logical circuits, it is essential to minimise the number of elements because it leads to the more reliable, more secure, and cheaper solution. For the logical functions with less than 4 variables, the Karnaugh maps are suitable. However, in practice, we encounter usually a much more complex function, in those cases, we could apply Boolean algebra laws directly or use the Quine-McCluskey method, which is based on their systematic use. Unfortunately, this method does not usually provide a minimal form of logical function for really large scale logical functions, and in a result may be redundant expressions. For that reason, we show that we could apply an additional phase which leads to the set covering problem which needs to cover all the inputs by the obtained outputs. Since this problem is N P-hard, it is necessary to use heuristic methods, such as simulated annealing.
|
|
|
Využití databází při analýze malwaru reprezentovaného grafem chování
Muzikant, Petr ; Šeda, Pavel (oponent) ; Hajný, Jan (vedoucí práce)
Bakalářská práce se zabývá problematikou behaviorální detekce, její hlavní komponentou zvanou behaviorální štít a zpracováním telemetrických dat generovaných tímto štítem. Zvláštní pozornost je také věnována tématu vícevláknové aplikace, díky kterému bylo možné výsledek práce plně optimalizovat. Hlavním cílem práce je výběr databázového řešení (s ohledem na povahu dat) a implementace nástroje pro zpracování dat umožňující rozšiřitelnou filtraci. Práce je rozdělena na teoretické úvody do problematik a na dvě praktické části týkající se výběru databázového systému (na základě měření) a samotného nástroje (včetně jeho optimalizace). Před samotným závěrem je také přiložena krátká kapitola o problémech, které se během práce vyskytly a jejich řešení. Práce probíhala ve spolupráci se společností Avast Software s.r.o.
|
|
|
Prototypové ověření modifikace evolučního algoritmu
Švestka, Marek ; Rajnoha, Martin (oponent) ; Šeda, Pavel (vedoucí práce)
Tato práce se zabývá evolučními algoritmy s vazbou na problém plánování přistávání letounů na letištích. Cílem práce je vytvořit genetický algoritmus na řešení této úlohy, aplikovat zvolené modifikace od vedoucího práce, výsledky statisticky zpracovat a porovnat. Hledání řešení problému probíhá za pomoci různých selekčních metod, které jsou blíže porovnány a vyhodnoceny. Vstupní data pro konkrétní úlohu jsou použity z Operations research knihovny. Výstupem práce je náhled na evoluční přístup k programování a jeho využití.
|
|
|
Implementace problému směrování vozidel pomocí algoritmu mravenčích kolonií a částicových rojů
Hanek, Petr ; Kubánková, Anna (oponent) ; Šeda, Pavel (vedoucí práce)
Tato diplomová práce se zabývá meta-heuristickými algoritmy a jejich schopností řešit složité optimalizační problémy v polynomiálním čase. V práci jsou popsány různé druhy meta-heuristických algoritmů jako například genetické algoritmy, optimalizace pomocí částicových rojů nebo mravenčích kolonií. Výstupem práce je aplikace implementovaná v jazyce Java, která řeší optimalizaci pomocí mravenčích kolonií na problému směrování vozidel s omezením na kapacity. Dále je implementován algoritmus částicových rojů, který řeší optimalizaci nastavení správných parametrů pro mravenčí kolonie.
|
|
|
Datová kontinuita v projektování
Nevřelová, Monika ; Štůsek, Martin (oponent) ; Šeda, Pavel (vedoucí práce)
Tato práce se zabývá zavadením datové kontinuity do projektování. Tato datová kontinuita je zavedena za účelem kopírování filozofie Průmyslu 4.0 již v rané projekční fázi projektu. V práci je rozebrán konstrukční návrh projektu v CAE systému EPLAN a vytvořena analýza časové náročnosti jeho zpracování oproti konvenčnímu návrhu pomocí CAD systémů. V práci je rovněž uveden příklad zavedení Internetu věcí a možnosti jeho využití v rámci průmyslových prostor.
|
|
|
Interactive apps for education of vector graphics theory
Lipa, Matúš ; Šeda, Pavel (oponent) ; Rajmic, Pavel (vedoucí práce)
This work deals with the creation of several interactive web applets for education of vector graphics. Described is the image signal, his discretization, vector and bitmap types of image record. Further they describe selected vector curves, their properties, algorithms for their construction and usage. The principles of rasterization of basic vector objects are explained. Using the Figma tool, graphical user interfaces for each applet are designed. These applets are implemented using HTML and Javascript. The implemented applets are placed on web pages that are used in computer graphics education.
|
host ::
RSS.