|
|
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.
|
|
| |
|
|
Klasifikace a využití gramatik, jazyků a automatů
Jancek, Libor ; Novotná, Veronika (oponent) ; Bobalová, Martina (vedoucí práce)
Tato bakalářská práce se zabývá teorií jazyků, gramatik a automatů. Ukázky použití konečných automatů v praxi na názorných příkladech a vytvoření programu, pro firmu Paradise Casino Admiral a.s. . Účelem tohoto programu je vyplnění evidence docházky na základě rozpisu služeb, který musí navrhnout manažerka pro svoje oddělení každý měsíc. Tento program by měl manažerce usnadnit a hlavně urychlit práci, kterou doposud vykonávala ručně.
|
|
|
Klasifikace jazyků, gramatik a automatů
Mocková, Ľubica ; Zimmerová, Barbora (oponent) ; Bobalová, Martina (vedoucí práce)
Tato práce je stručným přehledem základních typů jazyků, gramatik a automatů, jež jsou součástí teoretické informatiky. Práce obsahuje přehled teorie, vázané k danému tématu a příklady vážící se k teoretické části. Tato práce má sloužit jako studijní materiál pro studenty Fakulty podnikatelské pro předmět Diskrétní matematika. Dále může stejně dobře posloužit i studentům jiných vysokých škol a fakult, kteří mají ve svém studijním plánu předmět týkající se teorie gramatik a automatů.
|
|
|
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.
|
|
|
Klasifikace a využití gramatik, jazyků a automatů
Jancek, Libor ; Novotná, Veronika (oponent) ; Bobalová, Martina (vedoucí práce)
Tato bakalářská práce se zabývá teorií jazyků, gramatik a automatů. Ukázky použití konečných automatů v praxi na názorných příkladech a vytvoření programu, pro firmu Paradise Casino Admiral a.s. . Účelem tohoto programu je vyplnění evidence docházky na základě rozpisu služeb, který musí navrhnout manažerka pro svoje oddělení každý měsíc. Tento program by měl manažerce usnadnit a hlavně urychlit práci, kterou doposud vykonávala ručně.
|
|
| |
|
|
Klasifikace jazyků, gramatik a automatů
Mocková, Ľubica ; Zimmerová, Barbora (oponent) ; Bobalová, Martina (vedoucí práce)
Tato práce je stručným přehledem základních typů jazyků, gramatik a automatů, jež jsou součástí teoretické informatiky. Práce obsahuje přehled teorie, vázané k danému tématu a příklady vážící se k teoretické části. Tato práce má sloužit jako studijní materiál pro studenty Fakulty podnikatelské pro předmět Diskrétní matematika. Dále může stejně dobře posloužit i studentům jiných vysokých škol a fakult, kteří mají ve svém studijním plánu předmět týkající se teorie gramatik a automatů.
|
host ::
RSS.