|
|
Aplikace teorie formálních jazyků v oblasti počítačové bezpečnosti
Regéciová, Dominika ; Kolář, Dušan (oponent) ; Meduna, Alexandr (vedoucí práce)
Počítačová bezpečnost je a vždy bude kritickou oblastí, která ovlivňuje každého z nás. Přes veškeré úsilí vynaložené na tvorbu bezpečnějších systémů a jejich testování se však stále objevují nové chyby a zranitelnosti budící dojem boje s větrnými mlýny. Částečné odůvodnění současného stavu, ale i možná řešení, přináší v mnoha ohledech výjimečný pohled na bezpečnost skrze teorií formálních jazyků. Důraz by podle něj měl být kladen především na odpovědnější přístup k rozpoznávání a zpracování vstupů, které jsou často vstupní branou mnoha útokům. V této práci se blíže seznámíme s tímto směrem a jeho doporučeními pro vývoj a následně si představíme novou metodu detekce SQL injection útoků postavené na jeho základech.
|
|
|
Paralelní syntaktická analýza
Holko, Maroš ; Regéciová, Dominika (oponent) ; Meduna, Alexandr (vedoucí práce)
Práca sa zaoberá štúdiom niekoľkých metód syntaktickej analýzy, obzvlášť najmä Cocke-Younger-Kasami algoritmu. Ďalej je navrhnutý spôsob paralelizácie tohto algoritmu a jeho implementácia v jazyku C++. Na dosiahnutie paralelizácie boli použité vlákna. S prácou bola vytvorená aj konzolová aplikácia, v ktorej bol implementovaný paralelný CYK algoritmus. Zároveň bolo navrhnuté a implementované rozšírenie, ktoré zisťuje všetky postupnosti použitých pravidiel v prípade, že vstupný reťazec patrí do danej gramatiky. V závere sú diskutované jeho prednosti a nedostatky.
|
|
|
Standardní knihovny a preprocesor jazyka C pro WWW prohlížeč
Burda, Luděk ; Regéciová, Dominika (oponent) ; Kolář, Dušan (vedoucí práce)
Tato technická zpráva popisuje návrh i implementaci preprocessoru pro jazyk C v jazyce javascript bez využití vzdáleného serveru pro zpracování zdrojového kódu. Dále se zabývá implementací podmnožiny funkcí ze standardních knihoven jazyka C v jazyce javascript a jejich paměťovou a časovou efektivitou. Také je implementován paměťový model jazyka C založený na datových typech jako nezbytný prvek pro funkčnost standardních knihoven.
|
|
|
Vylepšení generování vzorů pro detekci škodlivého kódu
Štěpánek, Martin ; Regéciová, Dominika (oponent) ; Křivka, Zbyněk (vedoucí práce)
Tato práce se zabývá automatickým generováním vzorů, které jsou využitelné pro detekci škodlivého kódu. Cílem je vytvořit nástroj, který bude pomáhat analytikům při odhalování a detekování malwaru. Jsou zhodnoceny postupy detekce malwaru používané společností Avast Software. Je představen nástroj YaraGen, který byl v rámci této práce zdokonalen. Je popsáno několik typů analýz, které byly pro nástroj YaraGen implementovány. Hlavním přínosem této práce jsou především analýzy behaviorálních rysů škodlivého kódu.
|
|
|
Nová generace nástroje Fedora MediaWriter
Gasta, Evžen ; Kolář, Dušan (oponent) ; Regéciová, Dominika (vedoucí práce)
Cílem této práce je vytvoření nové verze nástroje Fedora Media Writer, pomocí kterého se vytváří bootovací disk USB s operačním systémem Fedora. Hlavním důvodem předělaní je podpora nativního vzhledu na operačních systémech Windows a MacOS. Nová verze frameworku Qt tohoto může dosáhnout. Výsledkem je nový vzhled aplikace s dalšími vylepšeními. Přínosem této práce je aktualizace open source aplikace, o kterou měla komunita zájem. Výsledná aplikace umožňuje používat Fedora Media Writer s nativním designem na různých operačních systémech.
|
|
|
Modularizace informačního systému pro festival
Hanes, Ján ; Regéciová, Dominika (oponent) ; Křivka, Zbyněk (vedoucí práce)
Práce studuje modularitu informačních systémů, jejich architekturu a princip vývoje modulů. Zaměřuje se hlavně na systém správy obsahu Drupal, který analyzuje v kontextu existujícího informačního systému pro správu lidských zdrojů festivalu Animefest. Navrhuje realizaci migrace existujícího systému na novou hlavní verzi systému Drupal, implementaci podpůrných modulů a nasazení nové verze systému do provozu. Druhá část názorně ilustruje vývoj modulu se zaměřením na gamifikaci a dále analyzuje tuto problematiku.
|
|
|
Karel 3D - aplikace pro výuku programování
Čoupek, Vojtěch ; Regéciová, Dominika (oponent) ; Křivka, Zbyněk (vedoucí práce)
Práce se zabývá přehledem dostupných prostředků pro pedagogy informatiky, kteří seznamují studenty s programováním. Cílem je implementace prostředí pedagogického jazyka Karel inspirovaného prací Andreje Blaha a jeho kolegů pro platformu MS-DOS. Byla navržena aplikace ve webovém prostředí, která rozšiřuje funkčnost předlohy o proměnné a zahrnuje moderní prvky uživatelského rozhraní, jako jsou blokové programování, obarvování syntaxe jazyka, syntaktickou kontrolu a 3D grafiku. Současně také pedagogům nabízí sadu základních příkladů a dovoluje jim tvořit si vlastní zadání.
|
|
| |
|
|
Improving YARA-Rules Generator for Various File Formats
Babka, Peter ; Kolář, Dušan (oponent) ; Regéciová, Dominika (vedoucí práce)
This work solves the automatic generation of YARA rules. The goal is to extend the existing YARA rule generator, called YaraGen, and was created by Avast. The work will present support for ELF and APK file formats, but also improvements to existing formats for static and behavioral YARA rules. At the end of the work is a summary and evaluation of the work.
|
|
|
Transformace frontových gramatik
Holas, David ; Regéciová, Dominika (oponent) ; Křivka, Zbyněk (vedoucí práce)
Diplomová práce je rozdělena do dvou částí. První část spočívá v opravě chyby v algoritmickém převodu frontové gramatiky do 1. normální formy navrženém jiném odborném článku. Algoritmus byl analyzován a úspěšně opraven. Druhá část se zabývá návrhem nové transformace na gramatiky s rozptýleným kontextem s omezenou popisnou složitostí. Práce obsahuje důkaz její korektnosti a studium její složitosti. Byla vytvořena konzolová aplikace, která pomáhá automaticky analyzovat příslušné transformace.
|
host ::
RSS.