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, KarelBezpeč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š, MartinPotreba 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, RadekDiplomová 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, RadekDiplomová 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, MichalTato 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, MiroslavTá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, VladanTato 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 ...