|
|
Tools for analyzing security protocols
Duchovič, Adam ; Burda, Karel (oponent) ; Pelka, Tomáš (vedoucí práce)
This thesis is focused on tools which are used to analyzed security protocols. In the beginning of the thesis key goals of security protocols are mentioned and also basic attacks on them are illustrated. Subsequently basic verification techniques, specification languages and verification tools are described. Next part of thesis contains description of protocols in common syntax. Then the main standards used for evaluation of information security products are mentioned. In the end of thesis two well-known verification tools – AVISPA and Scyther - are described and compared to designed methodology of comparing verification tools and their outputs.
|
|
|
Návrh a realizace aplikace LLC měniče pro ověřování konceptů návrhů integrovaných LLC kontrolérů pomocí emulace
Pokorný, Ondřej ; Levek, Vladimír (oponent) ; Prokop, Roman (vedoucí práce)
Tato bakalářská práce se zabývá návrhem LLC měniče, který bude sloužit pro ověřování prototypů integrovaných obvodů, respektive jejich aplikace. V práci je rozebráno a vysvětleno, proč byl vybrán právě měnič typu LLC. Práce pokračuje rozborem tohoto měniče a popisem jeho činnosti. Stěžejním bodem této práce je numerický návrh se zadanými parametry, který je zakončen simulací, jenž ověřuje vypočtené hodnoty. Finálním výsledkem práce je návrh celého zapojení LLC měniče a testovací desky (modulu) a jejich realizace na DPS. Práce je zakončená ověřením celé konstrukce pomocí navržené testovací desky při praktickém měření. V práci je mimo jiné proveden návrh vlastní konstrukce transformátoru a je rozebrána problematika magnetických obvodů pro LLC měniče.
|
|
|
Penetrační testy systému pro verifikaci řečníka
Nguyen, QuangTrang ; Rohdin, Johan Andréas (oponent) ; Plchot, Oldřich (vedoucí práce)
Cílem bakalářské práce je návrhnout sadu penetračních testů pro verifikaci řečníka s použítím syntézy řeči a dostupných nahrávek cílových mluvčí. Práce zahrnuje studium problematiky pro syntézu řeči, verifikace řečníka a metod pro spoofing se kterými můžeme setkat. Před samotným návrhem testovací sady je popsán systém a jeho komponenty, který byl použít v této práci. V posledních kapitolách práce je uveden popis návrhu testovacích sad a způsob realizace testů. Na závěru jsou vyhodnoceny výsledky a je odpovězeno na otázku, zda je možné prolomit systém pro verfikaci řečníka s využitím metody pro syntézu řeči.
|
|
|
Implementace systému VERICUT do technologického procesu výroby
Gerbel, Jakub ; Fiala, Zdeněk (oponent) ; Slaný, Martin (vedoucí práce)
Tématem této bakalářské práce je implementace verifikačního systému VERICUT do procesu výroby ve spolupráci se společností JHV Engineering. Na základě teoretického rozboru je provedena praktická část. Proběhlo vymodelování 3D modelu obráběcího CNC centra v systému Creo Parametric a sestavení jeho kinematiky v prostředí systému vericut. Byla provedena simulace a následná výroba fyzické součásti. Po vyhodnocení výsledků se ukázalo, že mezi simulací a reálným procesem dochází k určitým odchylkám. Při vytvoření takovéto přesné virtuální kopie stroje, nebo-li digitálního dvojčete, lze eliminovat kolizní stavy a efektivněji plánovat výrobu.
|
|
| |
|
|
Verifikace generického propojovacího systému pro FPGA
Bartoš, Václav ; Martínek, Tomáš (oponent) ; Puš, Viktor (vedoucí práce)
Tato práce se zabývá návrhem, implementací a provedením simulační verifikace generického propojovacího systému pro čipy FPGA. Tento systém je součástí platformy NetCOPE vyvíjené v projektu Liberouter, v rámci něhož vznikla i tato práce. Nejdříve jsou zde popsány obvyklé postupy návrhu verifikací v jazyce SystemVerilog. Následuje stručný popis propojovacího systému a jeho jednotlivých součástí, zaměřený především na aspekty důležité pro verifikaci. Jádrem práce je pak návrh verifikačního prostředí a řídícího programu testu pro každou ze tří součástí testovaného systému. Při tom se vychází z dříve popsaných principů zavedených v projektu Liberouter, rozšiřuje je však o některé další prvky. Všechny komponenty verifikačního prostředí jsou navrhovány s důrazem na obecnost a znovupoužitelnost, aby mohly být využity i při jiných verifikacích souvisejících s tímto propojovacím systémem. V závěru práce jsou diskutovány výsledky provedené verifikace a nalezené chyby, a je zhodnocen obecný přínos simulačních verifikací při návrhu hardware.
|
|
|
Application generating and verifying configurations of network devices
Korček, Juraj ; Tyrala, Radek (oponent) ; Jeřábek, Jan (vedoucí práce)
The aim of this master's thesis is a design and implementation of a program for finding security and operational deficiencies of network devices and afterwards, resolving them by generating corrective configuration. Due to a lack of security and misconfiguration, there are a lot of devices exposed to the risk of a security incident. Therefore, the program compares settings with various standards, recommendations, and best practices and generates a report with findings. Afterwards, deficiencies can be eliminated by automatic resolution or manually if automatic resolving is not possible. The program uses regular expressions to find problem settings in previously exported configurations. Implementation is written in Python, and YAML markup language is used too. Another output of this thesis is a checklist, which can be used for the creation of future modules for support of other network device vendors and thus extend the program.
|
|
|
Verifikace digitálního obvodu Microcore GNSS Baseband
Peroutka, Ondřej ; Fujcik, Lukáš (oponent) ; Dvořák, Vojtěch (vedoucí práce)
Tématem této diplomové práce je verifikace Akviziční jednotky a Sledovací jednotky digitálního obvodu Microcore GNSS Baseband společnosti Honeywell. Teoretická část práce obsahuje stručný úvod o určování polohy pomocí satelitního signálu, princip činnosti verifikovaných jednotek a představení metodiky UVM. Praktická část práce obsahuje požadavky na testované jednotky, testové scénáře a procedury. Také je popsáno verifikační prostředí. Poslední částí je průběh verifikace a její výsledky.
|
|
|
Multikamerová biometrická brána pro identifikaci osob
Kosík, Dominik ; Orság, Filip (oponent) ; Goldmann, Tomáš (vedoucí práce)
Tato práce řeší vytvoření biometrické brány pro identifikaci osob. Identifikace probíhá za pomocí 5 barevných kamer a IR kamery. IR kamera zajišťuje detekci osoby a následně se ze snímku barevných kamer vytváří 3D model obličeje osoby. Na základě tohoto modelu se provádí identifikace. Jelikož při vytváření samotného 3D modelu docházelo k nepřesnostem, což má vliv na rozpoznání osoby, není výsledná identifikace dostatečně přesná. Z toho důvodu je zapotřebí upravit algoritmy zpracovávající 3D model, a tak dosáhnout dostatečné přesnosti.
|
|
| |
host ::
RSS.