Browsing 2006 by Author "Trchalík, Roman"

Now showing items 1-4 of 4

  • Aplikační knihovna pro podporu návrhu komunikačních protokolů 

    Tomášek, Karel
    Bezpečnostní protokoly se používají pro zabezpečenou komunikaci přes nezabezpečenou síť. Tento dokument má za účel letmé seznámení s formálním popisem bezpečnostních protokolů, jednoduchým popisem několika protokolů a ...

  • Evoluční knihovna pro podporu návrhu komunikačních protokolů 

    Sameš, Martin
    Potreba vyvíjať nové a nové bezpečnostné protokoly, ktoré zodpovedajú stanoveným požiadavkám vedie k automatizácií ich návrhu a následne lepšiu možnosť verifikácie. Táto práca sa zaoberá možnosťou automatizovaného návrhu ...

  • Specifikační jazyky a nástroje pro analýzu a verifikaci bezpečnostních protokolů 

    Ptáček, Michal
    Tato diplomová práce se zabývá analýzou verifikačních nástrojů, které jsou používané pro automatickou verifikaci převážně bezpečnostních protokolů. Bezpečnostní protokoly se používají pro vytvoření privátních komunikačních ...

  • Technologie senzorových sítí 

    Koval, Miroslav
    Táto diplomová práca sa zaoberá technológiou bezdrôtových senzorových sietí, špeciálne ZigBee. Delí na dve časti - teoretickú a praktickú. Teoretickú časť tvoria kapitoly popisujúce protokoly, normy a štandardy, na ktorých ...