|
|
Kryptografické protokoly v praxi
Truneček, Petr ; Hajný, Jan (oponent) ; Pelka, Tomáš (vedoucí práce)
Cílem této práce bylo v první části popsat požadavky na kryptografické protokoly. Dále měla být provedena klasifikace těchto protokolů a uvedeny konkrétní příklady. V další části se práce měla věnovat metodami, které jsou vhodné pro popis a modelování kryptografických protokolů. Práce se dále měla zabývat také analýzou kryptografických protokolů vhodnými analytickými prostředky. V praktické části měla být aplikována metoda CSP pro modelování kryptografických protokolů. Jako protokol vhodný pro modelování byl vybrán protokol Yahalom. Byly provedeny dvě analýzy. První analýza se týkala standardního protokolu Yahalom, který byl testován na požadavky kryptografických vlastností utajení a autentičnosti. Druhá analýza se zabývala možností prozrazení klíče, včetně ukázky postupu, jak k prozrazení dojde. První analýza neodhalila žádné oslabení, co se týče dvou zmíněných kryptografických vlastností. Pro demonstraci možností aplikace FDR byl protokol Yahalom upraven s cílem vyvolat situaci, kdy dojde k prozrazení klíče. Aplikace FDR následně našla přesný postup, který musí útočník učinit, aby se klíče zmocnil.
|
|
|
Modul diagnostiky radarové antény
Pacner, Petr ; Urbanec, Tomáš (oponent) ; Kubíček, Michal (vedoucí práce)
Poruchy, jako je zkrat nebo rozpojení, na elektrických vedeních mohou často ohrozit funkčnost celé aplikace. Tato práce se proto zabývá návrhem konceptu modulu pro identifikaci těchto poruch na koaxiálním vedení mezi přijímačem a anténou v radarových systémech, přičemž se zaměřuje na jejich lokalizaci. Cílem je z dostupných metodik vybrat vhodný způsob analýzy takových chyb a vytvořit demonstrační realizaci modulu, která bude sloužit k dalšímu vývoji. Obsahem je teorie týkající se základního rozdělení poruch vedení a principů často využívaných detekčních metod včetně uvedení jejich některých parametrů, výhod a úskalí, což je základem pro výběr metody. Vybraná metoda je analyzována pomocí simulací a na laboratorních přístrojích ovládaných počítačovými skripty. Na závěr je implementována na vývojovou platformu, na níž je provedeno měření vzorku vedení
|
|
|
Metody pro analýzu vlastností přenosových vedení
Žůrek, Dalibor ; Kočiš, Luboš (oponent) ; Hadinec, Michal (vedoucí práce)
Tato práce se zabývá rešerší dostupné literatury v oblasti teorie přenosových vedení a ověření možnosti simulace dějů na těchto vedeních pomocí vhodného simulačního programu. Zpočátku jde o seznámení s parametry a ději, které charakterizují vedení a jsou důležité pro pochopení dané problematiky. Tyto parametry jsou následně měřeny a srovnávány s průběhy ze simulací programem PSpice. V další části práce je čtenář seznámen se základy reflektometrie a možnostmi detekce poruch na přenosových vedeních a to jak pomocí základních reflektometrických metod TDR a FDR, tak i dalších metod OTDR, MSR a PD-FDR. Pro metody TDR, FDR a MSR byly provedeny experimentální měření se zaměřením na určení polohy různých typů poruch na testovaném vedení.
|
|
|
Modul diagnostiky radarové antény
Pacner, Petr ; Urbanec, Tomáš (oponent) ; Kubíček, Michal (vedoucí práce)
Poruchy, jako je zkrat nebo rozpojení, na elektrických vedeních mohou často ohrozit funkčnost celé aplikace. Tato práce se proto zabývá návrhem konceptu modulu pro identifikaci těchto poruch na koaxiálním vedení mezi přijímačem a anténou v radarových systémech, přičemž se zaměřuje na jejich lokalizaci. Cílem je z dostupných metodik vybrat vhodný způsob analýzy takových chyb a vytvořit demonstrační realizaci modulu, která bude sloužit k dalšímu vývoji. Obsahem je teorie týkající se základního rozdělení poruch vedení a principů často využívaných detekčních metod včetně uvedení jejich některých parametrů, výhod a úskalí, což je základem pro výběr metody. Vybraná metoda je analyzována pomocí simulací a na laboratorních přístrojích ovládaných počítačovými skripty. Na závěr je implementována na vývojovou platformu, na níž je provedeno měření vzorku vedení
|
|
|
Vliv legislativy New Dealu na společenské postavení černochů ve vybraných sektorech americké ekonomiky
Schwammenhöfer, Tomáš ; Tajovský, Ladislav (vedoucí práce) ; Johnson, Zdenka (oponent)
V této bakalářské práci se věnuji vlivu legislativy New Dealu na černošské obyvatelstvo ve 30. letech 20. století. Konkrétně se analyticky zaměřuji na vliv jednotlivých politik tohoto programu na jejich postavení v rámci americké ekonomiky. Pro porozumění celé problematice je zapotřebí pochopit situaci černochů v předchozí dekádě a v době Velké hospodářské krize, čemuž se věnuji v prvních dvou kapitolách. Následně nastiňuji situaci vedoucí k volbě F. D. Roosevelta prezidentem Spojených států amerických. V poslední a zároveň nejdůležitější kapitole celé práce se věnuji analýze jednotlivých programů a jejich vlivu na černochy. V práci docházím k závěru, že New Deal měl jak pozitivní tak negativní vliv na tuto menšinu a to v závislosti na příslušném ekonomickém sektoru a dané politice. Celkově tento program pro černochy znamenal velký posun v ekonomických a politických záležitostech.
|
|
|
Analýza vybraných platebních protokolů
Kučerová, Petra ; Trchalík, Roman (oponent) ; Očenášek, Pavel (vedoucí práce)
Předmětem diplomové práce "Analýza vybraných platebních protokolů" je přehled o používaných platebních protokolech. První část se zabývá bezpečností dat, druhá je věnována platebním protokolům, jejich charakteristice, použité technologii a bezpečnostním prvkům. Třetí část se věnuje nástrojům pro simulaci a verifikaci platebních protokolů. Součástí práce je i srovnání jednotlivých platebních protokolů a nástrojů. Praktická část práce je zaměřena na formalizaci a verifikaci platebního protokolu Visa 3-D Secure, protokolu NetBill a dvou podprotokolů protokolu SET.
|
|
|
Metody pro analýzu vlastností přenosových vedení
Žůrek, Dalibor ; Kočiš, Luboš (oponent) ; Hadinec, Michal (vedoucí práce)
Tato práce se zabývá rešerší dostupné literatury v oblasti teorie přenosových vedení a ověření možnosti simulace dějů na těchto vedeních pomocí vhodného simulačního programu. Zpočátku jde o seznámení s parametry a ději, které charakterizují vedení a jsou důležité pro pochopení dané problematiky. Tyto parametry jsou následně měřeny a srovnávány s průběhy ze simulací programem PSpice. V další části práce je čtenář seznámen se základy reflektometrie a možnostmi detekce poruch na přenosových vedeních a to jak pomocí základních reflektometrických metod TDR a FDR, tak i dalších metod OTDR, MSR a PD-FDR. Pro metody TDR, FDR a MSR byly provedeny experimentální měření se zaměřením na určení polohy různých typů poruch na testovaném vedení.
|
|
|
Kryptografické protokoly v praxi
Truneček, Petr ; Hajný, Jan (oponent) ; Pelka, Tomáš (vedoucí práce)
Cílem této práce bylo v první části popsat požadavky na kryptografické protokoly. Dále měla být provedena klasifikace těchto protokolů a uvedeny konkrétní příklady. V další části se práce měla věnovat metodami, které jsou vhodné pro popis a modelování kryptografických protokolů. Práce se dále měla zabývat také analýzou kryptografických protokolů vhodnými analytickými prostředky. V praktické části měla být aplikována metoda CSP pro modelování kryptografických protokolů. Jako protokol vhodný pro modelování byl vybrán protokol Yahalom. Byly provedeny dvě analýzy. První analýza se týkala standardního protokolu Yahalom, který byl testován na požadavky kryptografických vlastností utajení a autentičnosti. Druhá analýza se zabývala možností prozrazení klíče, včetně ukázky postupu, jak k prozrazení dojde. První analýza neodhalila žádné oslabení, co se týče dvou zmíněných kryptografických vlastností. Pro demonstraci možností aplikace FDR byl protokol Yahalom upraven s cílem vyvolat situaci, kdy dojde k prozrazení klíče. Aplikace FDR následně našla přesný postup, který musí útočník učinit, aby se klíče zmocnil.
|
host ::
RSS.