Browsing 2006 by Author "Očenášek, Pavel"

Now showing items 1-7 of 7

  • 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 ...

  • Informační systém revizní firmy 

    Pinkava, Radek
    Diplomová práce se zabývá problematikou návrhu a implementace informačního systému pro firmu HNS mechanix s. r. o. Tato společnost provádí revizní činnost optických výrobků. Při návrhu se vychází z konkrétních požadavků ...

  • Ontologie a Semantický Web 

    Stuchlík, Radek
    Diplomová práce s názvem Ontologie a Sémantický Web se snaží o vysvětlení základních principů ontologií, které úzce souvisejí s tzv. novou generací webu: sémantickým webem. Diplomová práce je koncipována jako tutoriál a ...

  • 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 ...

  • Zpracování statistik přístupů k webovým systémům 

    Zajda, Vladan
    Tato práce se zabývá zpracováním statistik přístupů k internetovým stránkám a systémům, které  slouží ke zjištění cenných informací o jejich uživatelích. Statistiky umožňují zjistit z jakých míst uživatelé přicházejí, kolik ...