|
|
New Approaches Towards Automated XSS Flaw Detection
Steinhauser, Antonín ; Tůma, Petr (vedoucí práce) ; Vorobyov, Kostyantyn (oponent) ; Bureš, Miroslav (oponent)
Cross-site scripting (XSS) chyby tvoří jednu z kategorií bezpečnostních chyb webových aplikací. Útočník díky těmto chybám může do zranitelné webové aplikace podstrčit vlastní škodlivý vstup, který je poté zobrazen ve výstupní webové stránce, aniž by byl patřičně zakódován (sanitizován). Pokrok v tech- nologiích webových aplikací i webových prohlížečů v poslední době přinesl různé preventivní mechanismy zužující prostor XSS útoků, nicméně tyto preventivní mechanismy jsou většinou selektivní a zabraňují pouze některým XSS chybám. Mezi chyby, které byly novými preventivními mechanismy vesměs opomenuty, patří tzv. kontextuální XSS chyby. Ke kontextuální XSS chybě dochází, pokud je potenciálně škodlivý vstup webovou aplikací sice sanitizován před jeho zo- brazením ve webové stránce, nicméně použitá sanitizace je nekompatibilní s kontextem webového prohlížeče, ve kterém je sanitizovaná hodnota zobrazena. Dalším typem XSS chyb, který je sice již lépe znám, ale přesto je jeho prevence nedostatečná, patří tzv. uložené XSS chyby. Aplikace obsahující uložené XSS chyby ukládá škodlivý vstup do trvalého uložiště, aby jej později zobrazila v jiné webové stránce a (případně) jinému klientovi....
|
|
|
Ionic effects and online preconcentration techniques in separation systems
Boublík, Milan ; Zusková, Iva (vedoucí práce) ; Tůma, Petr (oponent) ; Vigh, Gyula (oponent)
Online prekoncentrační techniky v kapilární elektroforéze (CE) zvyšují citlivost detekce elektroforetických separací a jsou tak předmětem zájmu mnohých výzkumných skupin. Z tohoto důvodu je návrh nových prekoncentračních technik a jejich teoretický popis žádoucí pro jejich širší využití. Jedním z faktorů ovlivňujících separační podmínky je iontová síla separačních systémů. V rámci této disertační práce byly navrženy nové prekoncentrační techniky a popsány efekty iontové síly v separačních systémech CE a hydrofilní kapalinové interakční chromatografie (HILIC). Současně zde bylo představeno a popsáno 14 nových pI markerů pro isoelektrickou fokusaci (IEF). První část této disertační práce se zabývá návrhem nových prekoncentračních technik a jejich teoretickým popisem. Jsou zde prezentovány dvě prekoncentrační techniky. První z nich je založena na mechanismu sweepingu pomocí neutrálního komplexačního činidla, zatímco druhá využívá pH rozhraní, která jsou vytvořena systémovými zónami. Obě techniky jsou popsány jak teoreticky pomocí numerických simulací, tak experimentálně. Tyto techniky byly také aplikovány pro prekoncentraci účinné látky v komerčně dostupném léčivu a pro směs strukturně podobných analytů. Pro metodu využívající prekoncentraci pomocí systémových zón byl vytvořen diagram umožňující...
|
|
|
Load Balancing in Evaluation Systems for Programming Assignments
Buchar, Jan ; Kruliš, Martin (vedoucí práce) ; Tůma, Petr (oponent)
Systémy pro automatické vyhodnocování úloh jsou cenným nástrojem pro učitele programování i pro jejich studenty. Cílem této práce je prozkoumat možnost nasazení takovýchto systémů v rozsáhlém distribuovaném prostředí a vyřešit problémy, které při takovémto nasazení mohou vyvstat. Velká část řešených požadavků pochází ze zkušenosti se systémem ReCodEx - vyhodnocovacím systémem vyvinutým na katedře vedoucího. Moderní serverové procesory s mnoha jádry poskytují velký výkon, který lze využít i na vyhodnocování programátorských úloh. Souběžná měření se ale mohou navzájem ovlivňovat. To může způsobit nestabilní výsledky, čímž je ovlivněna spravedlivost hodnocení studentských řešení. Technologie pro izolaci (sandboxing) mohou způsobovat podobné problémy. V naší práci měříme oba tyto vlivy a na základě výsledků určujeme, do jaké míry lze vícejádrové procesory skutečně využít. Dále se zabýváme efektivním rozdělováním práce mezi více vyhodnocovacími stroji, což je úloha, která doplňuje problém využití vícejádrových strojů. Práce obsahuje rešerši plánovacích algoritmů a popis experimentu, který porovnává jejich výkon. Následně se věnujeme možnosti využití kontejnerových technologií ke zjednodušení nasazování softwaru nutného pro vyhodnocování. Tím se zjednodušuje jak administrace, tak složení množiny vyhodnocovacích...
|
|
|
Využití plynové chromatografie pro stanovení mastných kyselin a některých xenobiotik
Jaček, Martin ; Tůma, Petr (vedoucí práce) ; Pacáková, Věra (oponent) ; Vecka, Marek (oponent)
Předložená dizertační práce se zabývá využitím plynové chromatografie (GC) pro stanovení mastných kyselin (FA) v klinických vzorcích a studiem vlivu FA na vznik a prevenci vybraných onemocnění. Práce je zaměřena na metabolizmus FA s ohledem na esenciální FA a vysoce prospěšné polynenasycené mastné kyseliny (PUFA) ze skupiny omega-3, jako je kyselina eikosapentaenová (EPA) a dokosahexaenová (DHA), kterých je ve stravě západní populace nedostatek. V experimentální části se zabývá vývojem GC metod pro stanovení FA ve formě jejich methylesterů, a jejich využitím pro analýzu vzorků z intervenční klinické studie OMEGA a VEGGIE-2. Studie OMEGA je zaměřena na inkorporaci prospěšných omega-3 PUFA do potravního řetězce prostřednictvím mikrořas syntetizujících EPA a lněného semínka obsahujícího hlavně α-linolenovou kyselinu. Z těchto zdrojů byla připravena směs pro výkrm drůbeže a následně získaná vejce a kuřecí maso obohacené o omega-3 FA bylo použito jako surovina pro přípravu stravy. Po 8 týdenní dietní intervenci provedené na zdravých dobrovolnících byl nalezen statisticky významný nárůst v zastoupení DHA v erytrocytech, který činil 4,4 % před a 5,1 % po dietní intervenci u testovací skupiny. Zjištěný omega-3 index vykazoval také nárůst z 5,1 % na 5,8 % u testovací a z 5,3 % na 5,8 % u kontrolní skupiny....
|
|
|
Determination of proteinogenic amino acids by high-performance separation techniques
Hodek, Ondřej ; Křížek, Tomáš (vedoucí práce) ; Pacáková, Věra (oponent) ; Tůma, Petr (oponent)
(CZ) Proteinogenní aminokyseliny patří mezi základní stavební jednotky živých organismů. Proto byl v poslední době výzkum v metabolomice zaměřen na vývoj rychlých a citlivých analytických metod pro stanovení aminokyselin. Tato práce obsahuje dvě studie popisující vývoj vysoce účinných separačních metod pro kvantifikaci aminokyselin. V první studii byla vyvinuta metoda kapilární elektroforézy pro stanovení aminokyselin v rostlinách tabáku. Nedílnou součástí této studie byla optimalizace extrakce aminokyselin z rostlinného materiálu. Extrakce byla optimalizována postupem "design of experiments" (DoE), pomocí kterého byly vyhodnoceny faktory ovlivňující výtěžek extrakce aminokyselin. Nejdůležitějšími faktory byly objem a koncentrace extrakčního činidla (kyselina chlorovodíková), jejichž optimální hodnoty byly určeny pomocí "response surface methodology" (RSM). Poté byly aminokyseliny separovány pomocí kapilární elektroforézy s bezkontaktní vodivostní detekcí a stanoveny za použití kalibrace s vnitřním standardem, což přispělo ke zlepšení přesnosti metody. Druhá studie byla zaměřena na vývoj metody pro stanovení aminokyselin v lidské plasmě pomocí superkritické fluidní chromatografie. Jedním z cílů této studie bylo zvýšit rozpustnost aminokyselin v mobilní fázi bohaté na CO2. Nejdříve byla zvýšena...
|
|
|
Performance Awareness in Agile Software Development
Horký, Vojtěch ; Tůma, Petr (vedoucí práce) ; Rabiser, Rick (oponent) ; Koziolek, Anne (oponent)
Za agilní metody vývoje softwaru jsou obecně považovány přístupy, kdy jsou programy často sestavovány, testovány a nasazovány. Výsledkem je tak kratší vývojový cyklus. Přístupy typu DevOps pak dovádí tuto koncepci do extrému, kdy jsou setřeny rozdíly mezi vývojovým a produkčním prostředím a nasazený software průběžně aktualizují. V tomto kontextu se tato práce zaměřuje na nalezení míst, kde by jednotliví účastníci měli mít větší povědomí o výkonu vyvíjeného softwaru. Práce nabízí přístupy a nástroje jak toto povědomí zvýšit; hlavním cílem je vytvářet lepší (rychlejší) software v kratším čase. Zlepšení je dosaženo pomocí testování, dokumentace a sledování výkonu během všech fází vývoje software. V této práci ukážeme (1) nástroje pro psaní testů výkonu pro jednotlivé komponenty (např. knihovny). Tyto testy zachycují a kodifikují předpoklady o výkonu a převádí je do spustitelných entit, které zjednodušují automatizaci a opakovatelnost. Pro vyhodnocení testů výkonu jsme (2) navrhli nové metody které dokáží automaticky nalézt regrese. Tyto metody jsou navrženy tak, aby braly v úvahu variabilitu dat pocházejících z měření výkonu softwaru a dokázaly odlišit skutečné regrese od šumu. Testy výkonnosti pak také (3) zužitkujeme pro vytvoření aktuální a přesné API dokumentace výkonu, která vývojářům usnadní psaní...
|
|
|
Performance Testing for LTE Infrastructure
Polanka, Martin ; Tůma, Petr (vedoucí práce) ; Hnětynka, Petr (oponent)
V posledních pár letech přišly na poli telekomunikačních sítí nové stan- dardy, které přinesly změny ve vnitřní architektuře a představily nové kom- ponenty. Jednou z nových komponent je i PCRF server, který zajišťuje alokaci šířky pásma pro veškeré uživatele v síti, díky čemuž jsou na něj kladeny vysoké výkonnostní nároky. Přesto pro tento server neexistují žádné chytré generátory provozu a nejsou dostupné žádné komplexní analýzy imple- mentací. Na základě serveru, který byl poskytnut předním českým teleko- munikačním poskytovatelem, byl navržen a implementován generátor pro testování reálných scénářů a výkonnostních testů. Kromě toho bylo re- alizováno sbírání statistických dat ze serveru pomocí instrumentace. Obě tyto části pak byly spojeny dohromady do podoby testovacího frameworku, který byl použit pro měření na navržených testovacích scénářích. Výsledky z měření byly vyhodnoceny a popisují chování serveru jak v každodenním scénáři, tak při velké zátěži. Na základě vyhodnocení testů může poskytova- tel vylepšit svoji implementaci a případně provést další analýzu. Generátor provozu pak může být rozšířen tak, aby podporoval více testovacích scénářů a může být...
|
|
|
Chytrý termostat pro platformu STM32
Marek, Pavel ; Bureš, Tomáš (vedoucí práce) ; Tůma, Petr (oponent)
Cílem práce je vytvořit systém pro regulaci domácího vytápění. Součástí celého sys- tému je embedded zařízení z platformy STM32, které je umístěno u uživatele doma a pravidelně měří a udržuje teplotu tak, jak ji uživatel přednastavil. Dále centrální webový server, se kterým zařízení komunikuje, a pomocí kterého uživatel může na dálku měnit nastavení a sledovat aktuální stav zařízení. Součástí práce je návrh a implementace ko- munikace mezi a zařízením a webovým serverem, v rámci které zařízení periodicky posílá na server naměřenou teplotu a synchronizuje s ním nastavení. 1
|
|
|
Network Interface Controller Offloading in Linux
Hlavatý, Ondřej ; Tůma, Petr (vedoucí práce) ; Bulej, Lubomír (oponent)
Moderní síťové kontrolery umožňují přesunout dílčí práci spojenou se zpracováním paketů do hard- ware za účelem zvýšení výkonu. V současnosti se v Linuxovém jádře některé pokročilé schopnosti kontrolerů využívají pro akceleraci subsystému Traffic Control. Jelikož tento subsystém byl vytvořen za zcela jiným účelem, jeho využití pro akcelerované zpracování paketů je nepraktické a nespolehlivé. Navíc v současném stavu není řešení zdaleka schopné využít všechny schopnosti kontrolerů. Informace o skutečných schopnostech kontrolerů nejsou dobře dostupné. Tato práce přistupuje k problému z jiné strany. Prozkoumali jsme pět vysoce výkonných síťových kontrolerů a podrobně zmapovali jejich schopnosti klasifikace a zpracování paketů. Spolu s předpokla- dem pro budoucí vývoj jsme identifikovali a zobecnili společné rysy. Z těchto informací jsme navrhli nový subsystém Linuxového jádra, který lépe slouží účelu hardwarové akcelerace. Model navrhovaného subsystému je dostatečně flexibilní, aby pokryl pokročilé schopnosti kontrolerů, ale zároveň dostatečně striktní, aby umožnil hardwarovou akceleraci a neopakoval problémy, kterými trpí akcelerace obecného subsystému Traffic Control.
|
|
|
Java Performance Testing For The Masses
Stefan, Petr ; Tůma, Petr (vedoucí práce) ; Hnětynka, Petr (oponent)
Java je jeden z hlavních jazyků pro psaní výkonově náročných aplikací. Běžnou součástí softwarového vývoje se stalo automatické testování funk- čnosti (unit testing), nicméně počet projektů zabývajících se také testováním výkonnosti je značně menší. K prozkoumání aktuálního stavu testování mezi open-source projekty byla provedena komplexní studie v kombinaci s krátkým dotazníkem pro vývojáře. Výsledky ukazují, že vhodné měřící nástroje již existují, avšak často mají komplikované použití nebo mají výstupy, které jsou těžké k pochopení. Ke zlepšení aktuálního stavu ve prospěch testování výkonu je navržena a implementována sada uživatelsky přívětivých nástrojů pro získávání, porovnávání a zobrazování dat. Celé řešení je následně ověřeno na vybraném projektu. 1
|
host ::
RSS.