Porovnávání jazyků a redukce automatů používaných při filtraci síťového provozu

Název anglicky

Comparing Languages and Reducing Automata Used in Network Traffic Filtering

Jazyk práce

český

Abstrakt

Tato práce se zabývá porovnáváním jazyků automatů a redukcí automatů používaných při monitorování síťového provozu. Je navrženo několik přístupů pro přibližnou redukci automatů (nezachovávající jazyk) a přístup pro porovnávání jejich jazyků. Redukce jsou založeny na podaproximaci jazyka automatu, kdy dochází k odstraňování stavů nebo na nadaproximaci jazyka, kdy dochází k přidávání nových smyček (a odstranění zbytečných stavů později). Navržené metody pro přibližnou redukci a navržená pravděpodobnostní vzdálenost využívají informaci ze síťového provozu. Jsou poskytnuty formální záruky vzhledem k modelu síťového provozu, který je reprezentován pravděpodobnostním automatem. Metody byly implementovány a jejich vlastnosti byly ověřeny na automatech používaných pro filtrování síťového provozu.

Klíčová slova

vzdálenost jazyků, filtrování síťového provozu, váhované automaty, konečné automaty, přibližná redukce

Ústav

Ústav inteligentních systémů FIT VUT v Brně

Studijní program

Informační technologie, obor Matematické metody v informačních technologiích

Soubory

Stav

obhájeno, hodnocení A

Obhajoba

19. června 2017

Oponent

Rogalewicz Adam, doc. Mgr., Ph.D.

Průběh obhajoby

Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm "A".

Otázky u obhajoby

Proč jste v rámci experimentální části nevyužil pravděpodobností automat 10k namísto 2k?

Komise

Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT), předseda
Hrubý Martin, Ing., Ph.D. (UITS FIT VUT), člen
Chudý Peter, doc. Ing., Ph.D. MBA (UPGM FIT VUT), člen
Kreslíková Jitka, doc. RNDr., CSc. (UIFS FIT VUT), člen
Křivka Zbyněk, Ing., Ph.D. (UIFS FIT VUT), člen
Lucká Mária, prof. RNDr., Ph.D. (FIIT STU), člen

Citace

HAVLENA, Vojtěch. Porovnávání jazyků a redukce automatů používaných při filtraci síťového provozu. Brno, 2017. Diplomová práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2017-06-19. Vedoucí práce Vojnar Tomáš. Dostupné z: https://www.fit.vut.cz/study/thesis/19398/

BibTeX

@mastersthesis{FITMT19398,
    author = "Vojt\v{e}ch Havlena",
    type = "Diplomov\'{a} pr\'{a}ce",
    title = "Porovn\'{a}v\'{a}n\'{i} jazyk\r{u} a redukce automat\r{u} pou\v{z}\'{i}van\'{y}ch p\v{r}i filtraci s\'{i}\v{t}ov\'{e}ho provozu",
    school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
    year = 2017,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/19398/"
}