|
|
Specifikační jazyky a nástroje pro analýzu a verifikaci bezpečnostních protokolů
Ptáček, Michal ; Trchalík, Roman (oponent) ; Očenášek, Pavel (vedoucí práce)
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 kanálů v nezabezpečené síti. Bezpečnost nebude nikdy absolutní, a proto je nezbytné stále hledat chyby v bezpečnostních protokolech a podle nich pak tyto protokoly vylepšovat. V rámci této diplomové práce jsem se zaměřil na hledání různých verifikačních nástrojů na Internetu, následně jsem podle dostupných informací každý nalezený nástroj popsal v této práci tak, aby si čitatel mohl snadno vybrat, který nástroj se hodí zrovna pro ten jeho konkrétní problém. Na konci popisu jednotlivých nástrojů jsem hlavní klady a zápory shrnul do několika bodů.
|
|
| |
|
| |
|
|
Aplikace pro prezentaci a modifikaci dat v přenosných zařízeních
Kučera, Pavel ; Ryšavý, Ondřej (oponent) ; Trchalík, Roman (vedoucí práce)
Tato práce se zabývá možnostmi využití přenosných zařízení v oblasti automatizace řízení. Zadání práce vychází z reálného požadavku společnosti působící v oblasti automatizace mít k dispozici nástroj pro vzdálené řízení technologického procesu prostřednictvím PDA či mobilního telefonu. Jsou analyzovány možnosti uživatelského softwaru v současných přenosných zařízeních s ohledem na předpokládané využití. Podle specifikace požadavků je proveden návrh a implementace systému typu klient - server založeného na technologii VNC. Serverem je linuxový PC server realizovaný pomocí Xinetd a Xvnc. Jako klienti slouží dva standardní VNC klienti implementovaní modifikací softwaru volně dostupného pod licencí GPL. Jeden je určen pro zařízení s operačním systémem Windows Mobile, druhý běží na zařízeních s podporou Javy.
|
|
|
Metody návrhu bezpečnostních protokolů
Míchal, Luboš ; Trchalík, Roman (oponent) ; Očenášek, Pavel (vedoucí práce)
Pro zajištění bezpečné komunikace se používají bezpečnostní protokoly. Ty používají šifrování pro vytvoření privátních komunikačních kanálů v nezabezpečené síti. Tato práce se zabývá návrhem takovýchto protokolů a jejich vlastnostmi. Je zde uvedeno, jaké vlastnosti a požadavky by měl výsledný protokol splňovat a také jaké existují nejběţnější útoky na takovýto protokol. V druhé části práce je pak podrobněji popsána metoda trace vzorců, která se zabývá návrhem protokolů. Na jejím principu byla následně vytvořena knihovna funkcí pro podporu práce s bezpečnostními protokoly. Na závěr jsou uvedeny příklady některých protokolů, které byly vygenerovány pomocí této knihovny.
|
|
|
Informační systém návštěvnického centra
Sokl, Karel ; Očenášek, Pavel (oponent) ; Trchalík, Roman (vedoucí práce)
Práce se zabývá tvorbou informačního systému pro návštěvnické centrum v Olomouci. Tento dokument popisuje celý životní cyklus tohoto rezervačního systému, včetně specifikace požadavků, návrhu systému, jeho implementace a testování. Výsledný systém bude nasazen do provozu muzea, kde se bude starat o ovládání turniketů, rezervaci a prodej vstupenek.
|
|
|
Rozšíření nástroje pro podporu agilního vývoje softwaru
Trávník, Petr ; Trchalík, Roman (oponent) ; Kreslíková, Jitka (vedoucí práce)
Cílem diplomové práce "Rozšíření nástroje pro podporu agilního vývoje softwaru" je studium agilních metodik a jejich aplikace v praxi. Z agilních metodik se práce detailněji zabývá metodikou Scrum, kterou používá oddělení Corporate Technology společnosti Siemens v Brně. Práce se dále věnuje analýze a srovnání nejpoužívanějších profesionálních nástrojů pro agilní vývoj, které zároveň poskytují inspiraci pro rozšíření nástroje v oddělení společnosti Siemens. Na základně analýzy byla identifikována možná vylepšení nástroje s cílem ještě více zefektivnit agilní vývoj. Tyto závěry byly předloženy konzultantovi ze společnosti Siemens a na základě vzájemné dohody byly implementovány moduly pro revizi kódu a retrospektivu . Součástí implementace bylo také několik dílčích úprav současného nástroje. Všechna implementovaná rožšíření byla prováděna s důrazem na úsporu času, optimalizaci administrativní zátěže a další zefektivnění vývoje. Závěrem je diskutován přínos implementovaných řešení a možné další směry rozvoje nástroje.
|
|
|
Systém pro správu malé podnikové sítě
Holešinský, Jan ; Očenášek, Pavel (oponent) ; Trchalík, Roman (vedoucí práce)
Cílem této diplomové práce je navrhnout a implementovat informační systém pro aktivní i pasivní správu malé podnikové sítě s důrazem na co největší automatizovanou správu a nasazení v produkční síti. Systém je vhodně navržen pomocí Nette frameworku a skriptovacího jazyka Perl, který je vhodný na správu počítačových systémů a sítí.
|
|
|
Směrování v bezdrátových sítích
Janský, Václav ; Očenášek, Pavel (oponent) ; Trchalík, Roman (vedoucí práce)
Práce se zabývá směrovacími protokoly pro ad hoc bezdrátové sítě. Nejdříve je nastíněna problematika ad hoc sítí. Poté je představeno rozdělení směrovacích protokolů pro ad hoc sítě podle různých kritérií. Největší pozornost je věnována rozdělení podle mechanismu získávání cest. U čtyř protokolů jsou popsány jejich algoritmy. Jedná se o proaktivní protokoly DSDV a CGSR, reaktivní protokol DSR a hybridní protokol ZRP. Dále je popsán protokol AODV detailně a jsou uvedeny jeho výhody a nevýhody. Jsou také zmíněny jeho dvě varianty AODVjr a AODVbis. Na základě nevýhod protokolu AODV je navržen nový protokol. Součástí práce je také popis implementace a integrace tohoto protokolu do simulátoru ns-2 a následně vyhodnocení simulací provedených v tomto simulátoru.
|
|
| |
host ::
RSS.