Hledat
Zobrazují se záznamy 301-310 z 526
Certifikované algoritmy pro hledání minimální kostry, Verified Algorithms for Minimum Spanning Tree
; Vedoucí práce: Knop Dušan; Oponent práce: Tvrdík Pavel (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-08-27)
Tato práce se zabývá úvodem do procesu deduktivní formální verifikace. Teoretická část práce seznámí čtenáře s frameworkem Frama-C pro modulární analýzu programů napsaných v jazyce C. Ten k verifikaci používá pluginy, ...
Analýza bezpečnosti DNS serverů, Security analysis of DNS servers
; Vedoucí práce: Černý Viktor; Oponent práce: Dostál Jiří (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-08-27)
Tato práce se zabývá bezpečnostní analýzou běžně používaných DNS serverů, konkrétně jejich odolností proti vybraným známým útokům. Teoretická část začíná popisem protokolu DNS a pokračuje seznámením se s vybranými útoky, ...
Analýza útoku ZombieLoad, Analysis of the ZombieLoad attack
; Vedoucí práce: Štepanovský Michal; Oponent práce: Buček Jiří (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-09-03)
Cilem prace je popsat princip utoku ZombieLoad a jeho provedeni. Teoreticka cast seznamuje ctenare s nekterymi specifiky modernich procesoru. Nasleduje analyza samotneho utoku vcetne popisu cache postranniho kanalu, ktery ...
Komunikace skrze Captive portal, Bypassing Captive Portals
; Vedoucí práce: Padrta Aleš; Oponent práce: Moucha Alexandru (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-06-08)
Captive portál je software, zpravidla nasazován na veřejně dostupných sítích, který typicky omezuje či limituje přístup do sítě Internet. Tato diplomová práce se věnuje problematice obcházení takových limitací pomocí ...
Rešerše nástrojů pro tvorbu síťových schémat, Network diagram tools survey
; Vedoucí práce: Černý Viktor; Oponent práce: Čejka Tomáš (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-06-13)
Bakalářská práce se ve své první části zabývá srovnávací analýzou editorů pro tvorbu síťových schémat se zaměřením převážně na nekomerční software. V druhé části se pokouší doplnit chybějící funkcionalitu rozšířením Dia Editoru.
Interpretovatelnost výsledků detekce malware založených na strojovém učení pomocí sady pravidel, Interpretability of machine learning-based results of malware detection using a set of rules
; Vedoucí práce: Jureček Martin; Oponent práce: Lórencz Róbert (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-06-10)
Metody strojového učení se prokázaly jako užitečný nástroj v řadě aplikací. Antivirové společnosti našly jejich využití i pro rychlou a spolehlivou detekci malwaru, poskytující jejich uživatelům bezpečnější prostředí před ...
Zranitelnosti a útoky typu Distributed Denial-of-Service, Distributed Denial-of-Service: Vulnerabilities and Attacks
; Vedoucí práce: Kokeš Josef; Oponent práce: Fesl Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-06-10)
Práce se zabývá kybernetickými útoky typu Distributed Denial-of-Service. Je vytvořen přehled druhů těchto útoků a jejich příkladů, u každého jsou popsány možné scénáře útoku, jaké jsou dopady a možnosti zmírnění. Z přehledu ...
Chytrý strážce domácí sítě, Smart Home Network Guard
; Vedoucí práce: Smítka Jiří; Oponent práce: Moucha Alexandru (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-06-20)
Práca sa zaoberá návrhom a tvorbou systému, ktorý sa snaží riešiť komplexnú bezpečnosť domácej siete. Najväčší dôraz je kladený na detekciu nových (a neznámych) zariadení na sieti, detekciu útokov a hrozieb v domácej sieti ...
Metody symplektické ortogonalizace a redukce mřížek, Symplectic Orthogonalization and Lattice Reduction Techniques
; Vedoucí práce: Petr Ivo; Oponent práce: Tvrdík Pavel (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-06-17)
V tejto práci sme sa zamerali na matematický popis NTRU kryptosystému založenému na ťažkom probléme na bodovej mriežke a otestujeme viacero ortogonalizačných algoritmov popísaných v práci od Nicolasa Gamu nad malými bodovými ...
Analýza a implementácia školského systému domácich prác, Analysis and implementation of school homework system
; Vedoucí práce: Prágl Miroslav; Oponent práce: Kašpar Jiří (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-06-17)
Táto bakalárska práca sa zaoberá analýzou požiadaviek základných a stredných škôl na webový systém odovzdávania domácich úloh, prieskumom existujúcich riešení tejto problematiky a vývojom prototypu za použitia cloudových ...