Now showing items 1-7 of 7

  • Bezpečnost protokolů bezkontaktních čipových karet 

    Henzl, Martin
    Tato práce analyzuje hrozby pro protokoly využívající bezkontaktní čipové karty a představuje metodu pro poloautomatické hledání zranitelností v takových protokolech pomocí model checkingu. Návrh a implementace bezpečných ...
  • Laboratorní přípravek demonstrující sběrnici CAN 

    Levek, Vladimír
    Cílem této semestrální práce je navrhnout laboratorní přípravek demonstrující komunikaci pomocí sběrnice CAN. Laboratorní přípravky, řízené mikroprocesorem, budou posílat stavy vstupů a výstupů mezi sebou. Rovněž bude ...
  • Měření teploty s přenosem dat přes sít WLAN 

    Müller, David
    Diplomová práce se zabývá návrhem jednotek snímače a zobrazovače teploty, které komunikují pomocí bezdrátové sítě WLAN. V teoretické části práce je uveden přehled různých způsobů měření teploty včetně několika konkrétních ...
  • Rozbor signalizace u sítí UMTS 

    Trojáček, Jaroslav
    Diplomová práce se zaměřuje na rozbor signalizace v mobilní síti 3. generace UMTS. V první části diplomové práce je rozebrána problematika obecného popisu standardu IMT-2000 zaměřená především na mnohonásobnou přístupovou ...
  • Řízení přístupu k lokální síti pomocí protokolu IEEE 802.1x 

    Čuhel, Radim
    Tato semestrální práce se zaobírá řízením přístupu k soudobým lokálním sítím pomocí protokolu IEEE 802.1X. V úvodu práce se vyskytují základní pojmy v řízení přístupu do sítě a možné standardy a protokoly, které se v dnešní ...
  • A Security Formal Verification Method for Protocols Using Cryptographic Contactless Smart Cards 

    Henzl, M.; Hanacek, P. (Společnost pro radioelektronické inženýrství, 2016-04)
    We present a method of contactless smart card protocol modeling suitable for finding vulnerabilities using model checking. Smart cards are used in applications that require high level of security, such as payment applications, ...
  • Simulační scénáře v prostředí IT Guru pro předmět Komunikační technologie 

    Rybka, Štěpán
    Tato diplomová práce s názvem Simulační scénáře v prostředí IT Guru pro Komunikační technologie se zabývá návrhem laboratorních úloh pro výše zmíněný předmět. V první části práce je teoretický úvod k použitým protokolům, ...