|
|
Bezpečnost bezdrátových sítí
Mlčochová, Ivana ; Janeček, Jan (vedoucí práce) ; Peterka, Jiří (oponent)
S rostoucí popularitou bezdrátových sítí roste také riziko napadení nebo zneužití sítě, ať už záměrně či nikoli. Tato bakalářská práce popisuje užívané bezpečnostní protokoly WEP, WPA a WPA2, analyzuje jejich slabiny a diskutuje možnosti útoku využitím nedostatků protokolů. Jelikož samotný protokol není pro zabezpečení žádné sítě dostačující, jsou v práci navrženy podpůrná bezpečnostní opatření minimalizující riziko úspěšného útoku. Jedním z cílů práce bylo experimentálně ověřit, že protokol WEP má s bezpečností skutečně málo společného a neměl by být vůbec používán ani v domácích sítích. V souvislosti s tím proběhl průzkum míry zabezpečení bezdrátových sítí na území Prahy, který prokázal alarmující skutečnost: většina bezdrátových sítí je stále zabezpečena pouze protokolem WEP nebo není zabezpečena vůbec.
|
|
|
Aktivní XML
Ignáth, Štefan ; Janeček, Jan (vedoucí práce) ; Nečaský, Martin (oponent)
Tato práce se zabývá využitím takzvaného aktivního XML pro implementaci distribuovaných algoritmů. Aktivní XML je představeno ve formě webových služeb (Web Services) a protokolu XML-RPC. Obě tyto technologie jsou založeny na výměne XML zpráv. Zatímco protokol XML-RPC je nyní téměř nepoužívanou a zapomenutou technologií, webové služby se za posledních několik let dostaly na výsluní. Komunikace webových služeb probíha za pomoci protokolu SOAP a rozhraní těchto služeb je definováno pomocí WSDL. Kromě přiblížení výše vzpomenutých technologií se tato práce zabývá jejich možným přizpůsobením pro implementaci distribuovaných algoritmů. Jelikož jsou požadavky distribuovaných algoritmů, tak jak jsou pojaty akademickou sférou, diametrálně odlišné od požadavků bussiness aplikací, pro které jsou webové služby primárně určeny, jsou nutné rozsáhlé kompromisy. Praktická část této práce ukazuje možná řešení pro nasazení webových služeb na výpočet distribuovaných algoritmů na ukázkové implementaci. Taktéž je implementován distribuovaný algoritmus za pomoci protokolu XML-RPC a použité technologie jsou porovnány.
|
|
|
Connector-based Performance Data Collection for Component Applications
Bulej, Lubomír ; Tůma, Petr (vedoucí práce) ; Janeček, Jan (oponent) ; Murphy, John (oponent)
In this work, we propose a generic approach to collection of performance data for hetero-geneous component-based applications with the aim to provide easier and less costly access to performance data needed for measurement and model-based performance analysis of component applications. The technical foundation for the approach is built on generic solutions to various aspects of performance data collection and is made of three parts. The first part provides a design of a generic measurement infrastructure which handles common performance measurement tasks and allows collecting arbitrary performance data in response to performance events. The second part proposes using architecture-based connectors for instrumentation of component applications and provides a design of a performance instrumentation connector element for use with the measurement infrastructure. The third part proposes integration of connectors into deployment process of component applications which enables deployment and transparent instrumentation of heterogeneous component-based applications.
|
|
|
Řízení toku v přístupových bodech bezdrátové sítě IEEE 802.11
Turek, Lukáš ; Janeček, Jan (vedoucí práce) ; Peterka, Jiří (oponent)
Bezdrátové sítě založené na standardu IEEE 802.11 (Wi-Fi) se dnes často používají jako první míle pro připojení k Internetu. Standard však pro toto použití nebyl navržen a proto se tento způsob nasazení potýká s problémy. Jedním z nich je vzrůstající latence při velkém zatížení sít, způsobená absencí řízení toku. Předložená práce ukazuje, proč algoritmy řízení toku dostupné v operačních systémech nemohou ve Wi-Fi sítích efektivně pracovat a proč ani doplněk 802.11e není řešení. Následně navrhuje algoritmus určený speciálně pro Wi-Fi sítě, který dělí přenosové pásmo rovnoměrně mezi klienty, minimalizuje latenci a přitom nesnižuje propustnost sítě. Funkce algoritmu je ověřena simulací v prostředí OMNeT++ a následně je algoritmus implementován v operačních systémech Linux a FreeBSD.
|
|
|
Efektivní mechanismy XML komunikace
Rusnák, Pavol ; Janeček, Jan (vedoucí práce) ; Toman, Kamil (oponent)
XML komunikace je efektivní protože je příjemná z programátorského hlediska a má obrovskou flexibilitu. Dodnes se rozšířila na rozmanité platformy kromě jedné oblasti, kterou jsou vestavěné systémy. Je to hlavně proto, že zpracování textových spráav je náročné na prostředky a má obvykle velkou režii. Cílem této práce je navrhnout, implementovat a otestovat novou metodu zpracovávaní SOAP zpráv pomocí formálních gramatik a automatů a těm vlastně umožnit rozšíření webových služeb také na tato malá zařízení, dokonce i na ta, která neobsahují vlastní operační systém. Naše řešení jsme pojmenovali EXCUSA, podle akronymu anglického názvu Eff ective XML Communication Using SOAP and Automata.
|
|
|
Trust Management Systems in P2P Networks
Novotný, Miroslav ; Zavoral, Filip (vedoucí práce) ; Janeček, Jan (oponent) ; Fujita, Satoshi (oponent)
V dnešní době se architektura určitých typů služeb jako jsou distribuované výpočty, distribuovaná úložiště nebo sítě pro distribuci obsahu, posouvá od tradičního modelu klient-server k více škálovatelnému a robustnějšímu P2P modelu. V takto složitém, anonymním a otevřeném systému je ale velice komplikované zajistit alespoň základní míru zabezpečení. Největší hrozbu představují útočníci, kteří dokáží spolupracovat a s použitím sofistikovaných strategií se snaží obejít stávající bezpečnostní systémy. Jako obrana proti těmto uživatelům vznikly takzvané systémy na řízení důvěry v P2P sítích. Nicméně jejich účinnost právě proti sofistikovaným strategiím není dostatečně ověřena. V této práci jsme navrhli nový systém pro řízení důvěry s názvem BubbleTrust a vyvinuli simulační framework P2PTrustSim pro testování různých systémů na řízení důvěry a libovolné strategii používané útočníky. Navržený framework definuje několik kriterií, která pomohou vyhodnotit úspěšnost dané strategie oproti zkoumanému systému. V rámci simulací jsme testovali čtyři systémy jež reprezentují současné hlavní přístupy k řízení důvěry a BubbleTrust.
|
|
|
Automated verification of software
Šerý, Ondřej ; Plášil, František (vedoucí práce) ; Janeček, Jan (oponent) ; Ghezzi, Carlo (oponent)
Přes výzkumné usilí věnované automatické veri kaci software, její pronikání do softwarového průmyslu je stále spíše pomalé. Toto váhání mělo několik důvodů 1) složitost posouzení jednotlivých nástrojů, 2) složitost použití nástrojů a jejich integrace do vvývojového procesu. Pro usnadnění výběru jednotlivých nástrojů je součástí práce přehled technik založených na model checkingu kódu s porovnáním technik na základě jednotných kritérií. Navíc práce obsahuje průmyslovou případovou studii používající model checker BLAST. K posouzení vhodnosti nástrojů je potřeba i odpovovídajícího vzdělání, přikládáme tedy i své zkušenosti s přípravou dvou magisterských přednášek o formálních metodách. Integrací snadno použitelného speci kačního jazyka do model checkeru BLAST, přispíváme k usnadnění použití tohoto nástroje. Mimo to představujeme koncept unit checkingu, tedy kombinace unit testingu a model checkingu kódu. Unit checking pomáhá s integrací model checkingu kódu do vývojového procesu.
|
|
|
Rozvrhování v distribuovaných systémech
Vyšohlíd, Jan ; Janeček, Jan (vedoucí práce) ; Yaghob, Jakub (oponent)
Předložená práce studuje metody rozvrhování v heterogenních distribuovaných systémech. Nejprve jsou uvedeny některé teoretické poznatky, které kromě vlastní teorie z oblasti rozvrhování obsahují také potřebné znalosti z teorie grafů a složitosti. Dále jsou představeny metody statického rozvrhování a nejznámější algoritmy řešící tento problém, po nichž následují základy dynamického rozvrhování a klasifikace používaných metod. V hlavní části práce jsou navrženy algoritmy, které respektují přidaná omezení. Tyto algoritmy jsou testovány pomocí přiložené aplikace a porovnány navzájem nebo s ostatními algoritmy, které většinou přidané podmínky na systém nekladou. Součástí práce je rovněž zmíněná aplikace a dokumentace k této aplikaci.
|
|
|
Efektivní mechanismy XML komunikace
Rusnák, Pavol ; Toman, Kamil (oponent) ; Janeček, Jan (vedoucí práce)
XML komunikace je efektivní protože je příjemná z programátorského hlediska a má obrovskou flexibilitu. Dodnes se rozšířila na rozmanité platformy kromě jedné oblasti, kterou jsou vestavěné systémy. Je to hlavně proto, že zpracování textových spráav je náročné na prostředky a má obvykle velkou režii. Cílem této práce je navrhnout, implementovat a otestovat novou metodu zpracovávaní SOAP zpráv pomocí formálních gramatik a automatů a těm vlastně umožnit rozšíření webových služeb také na tato malá zařízení, dokonce i na ta, která neobsahují vlastní operační systém. Naše řešení jsme pojmenovali EXCUSA, podle akronymu anglického názvu Eff ective XML Communication Using SOAP and Automata.
|
|
| |
host ::
RSS.