|
Přístupové a zabezpečovací systémy
Kohut, Michal ; Bradáč, Zdeněk (oponent) ; Fiedler, Petr (vedoucí práce)
Při psaní této bakalářské práce byla snaha popsat přístupové a zabezpečovací systémy a jejich součásti. Dále u těchto systému byla vysvětlena jejich funkce, využití a bylo uvedeno jejich rozdělení. Velká pozornost byla věnována také zabezpečovacím ústřednám, jejich vlastnostem a ovládání. V poslední řadě byl navržen stavový automat menší zabezpečovací ústředny, který byl následně odladěn v programu IAR visualSTATE.
|
|
Optimalizace bezpečnostních algoritmů pro smartkarty
Bartoňová, Veronika ; Malina, Lukáš (oponent) ; Hajný, Jan (vedoucí práce)
V diplomové práci se zabývám optimalizací výpočtů bezpečnostních algoritmů, které jsou dále implementovány na smartkarty. Pro návrh urychlení výpočtů vycházím ze znalosti modulární aritmetiky, která je základem pro mnohá šifrování pomocí veřejných klíčů, elektronických podpisů nebo hashovací funkce. Výsledkem projektu je návrh změn, které by měly urychlit výpočty bezpečnostních algoritmů.
|
|
Návrh přístupového systému jako součást řešení fyzické bezpečnosti
Dohnal, Matěj ; Svoboda, Vlastimil (oponent) ; Sedlák, Petr (vedoucí práce)
Tato diplomová práce pracovává návrh přístupového systému jako součásti řešení fyzické bezpečnosti pro energetickou společnost v České republice. Přístupový systém je navržen tak, aby vyhověl všem zákonným požadavkům, a obstál i při certifikaci dle normy ISO 27001. Nasazení navrženého přístupového systému je předvedeno na vybraném objektu společnosti, který je reprezentativní ukázkou spojení prvku kritické infrastruktury a běžného objektu společnosti.
|
|
Security of Contactless Smart Card Protocols
Henzl, Martin ; Rosa, Tomáš (oponent) ; Staudek, Jan (oponent) ; Hanáček, Petr (vedoucí práce)
This thesis analyses contactless smart card protocol threats and presents a method of semi-automated vulnerability finding in such protocols using model checking. Designing and implementing secure applications is difficult even when secure hardware is used. High level application specifications may lead to different implementations. It is important to use the smart card correctly, inappropriate protocol implementation may introduce a vulnerability, even if the protocol is secure by itself. The goal of this thesis is to provide a method that can be used by protocol developers to create a model of arbitrary smart card, with focus on contactless smart cards, to create a model of the protocol, and to use model checking to find attacks in this model. The attack can be then executed and if not successful, the model is refined for another model checker run. The AVANTSSAR platform was used for the formal verification, models are written in the ASLan++ language. Examples are provided to demonstrate usability of the proposed method. This method was used to find a weakness of Mifare DESFire contactless smart card. This thesis also deals with threats not possible to cover by the proposed method, such as relay attacks.
|
|
Autentizace v inteligentních sítích
Janáč, Richard ; Šťastný, Ladislav (oponent) ; Franek, Lešek (vedoucí práce)
Táto práca sa zaoberá možnosťami autentizácie servisných technikov pre zariadenia siete Smart Grid. Cieľom bolo vybrať najvhodnejší typ autentizácie bezpečnostným tokenom. Preto sme rozobrali základy kryptografie a rozobrali sme algortimy používané v bezpečnostných tokenoch. V závere práce sú porovnané tri typy bezpečnostných tokenov. Zhodnotenie ich využitia pre implementáciu do zariadení siete Smart Grid a výber tokenu pre nasledujúce spracovanie v demonštračnej aplikácií.
|
|
Mikroskopická analýza čipových karet
Michálek, Martin ; Drahanský, Martin (oponent) ; Malčík, Dominik (vedoucí práce)
Bakalářská práce je zaměřená na popis ochraných prvků čipových karet. Obeznamuje s technologií karet a složením samotného čipu. Nalézt je zde možné také přehledný výčet konkrétních bezpečnostních prvků. V rámci práce byla také vytvořena knihovna pro anotaci logických elementů. Zpráva obsahuje návrh, implementaci a popis rozhraní této knihovny.
|
|
Provedení relay útoku na karty Mifare
Činčala, Martin ; Henzl, Martin (oponent) ; Malčík, Dominik (vedoucí práce)
Tato práce se zabývá převedením relay útoku na čipové karty MIFARE s použitím standardních čteček. Tyto čtečky nejsou na podobné útoky určené a proto nebylo možné implementovat útok, který by byl úspěšný proti všem typům karet. Vzhledem k tomu, ze na mnoho typů karet už byly relay útoky implementovány, zaměřil jsem se na nejnovější a dosud málo prozkoumanou kartu MIFARE Ultralight C. Relay útok byl implementován se zjednodušenou emulací 4-místného UID a úspěšně otestován na kartách MIFARE Ultralight C. S použitím jiného typu čteček by mělo být možné uskutečnit útok také na karty typu Plus, Desfire a SmartMX. Zabezpečení MIFARE Classic je možné prolomit volně dostupnými softwarovými nástroji, pomocí kterých lze tuto kartu naklonovat.
|
|
Analyzátor protokolu čipových karet
Dzurňák, Tomáš ; Zbořil, František (oponent) ; Hanáček, Petr (vedoucí práce)
Cílem projektu je vytvoření monitoru komunikace po mezi čtečkou a čipovou kartou s možností diagnostiky a kontroly dodržovaní standardů. V práci se nachází popis standardů, s kterými je potřebné být obeznámen a podrobný popis standardu ISO/IEC 7816-3, který popisuje monitorované protokoly. V práci je taktéž popis vlastností vývojových prostředků a návrh konkrétního řešení aplikace.
|
|
Přístupové a zabezpečovací systémy
Kohut, Michal ; Šedivá, Soňa (oponent) ; Fiedler, Petr (vedoucí práce)
Při psaní této bakalářské práce byla snaha popsat přístupové a zabezpečovací systémy a jejich součásti. Dále u těchto systému byla vysvětlena jejich funkce, využití a bylo uvedeno jejich rozdělení. Velká pozornost byla věnována také zabezpečovacím ústřednám, jejich vlastnostem a ovládání. V poslední řadě byl navržen stavový automat menší zabezpečovací ústředny. Ten byl rozdělen na 4 menší stavové automaty, které byly odladěny v programu IAR visualSTATE.
|
|
Elektronický geocaching
Pavel, Lukáš ; Babnič, Patrik (oponent) ; Burda, Karel (vedoucí práce)
Cílem práce je navrhnout a realizovat koncept elektronického geocachingu s pomocí bezkontaktní karty a telefonu s rozhraním NFC (Near Field Communication). Realizace se skládá z aplikace na bezkontaktní kartě, Android aplikace pro telefon s NFC a webového hráčského serveru. V první kapitole popisuji geocaching a snažím se čtenáře seznámit s touto turistickou hrou. V druhé kapitole rozebírám problematiku čipových karet, věnuju se zde popisu kontaktních i bezkontaktních karet a jejích bezpečnosti. Ve třetí kapitole popisuju rádiové komunikační rozhraní NFC jeho použití a bezpečnost. Ve čtvrté kapitole pak popisuju principy symetrické a asymetrické kryptografie a vybrané kryptografické techniky. V páté kapitole je pak rozebrán návrh řešení elektronického geocachingu pomocí elektronického podpisu. V poslední kapitole jsou popsány všechny vytvořené aplikace.
|