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

but.committeeprof. Ing. Tomáš Vojnar, Ph.D. (předseda) doc. RNDr. Jitka Kreslíková, CSc. (místopředseda) Ing. Martin Hrubý, Ph.D. (člen) doc. Ing. Peter Chudý, Ph.D., MBA (člen) Ing. Zbyněk Křivka, Ph.D. (člen) Prof. RNDr. Mária Lucká, Ph.D. (člen)cs
but.defenceStudent 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?cs
but.jazykčeština (Czech)
but.programInformační technologiecs
but.resultpráce byla úspěšně obhájenacs
dc.contributor.advisorVojnar, Tomášcs
dc.contributor.authorHavlena, Vojtěchcs
dc.contributor.refereeRogalewicz, Adamcs
dc.date.created2017cs
dc.description.abstractTato 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.cs
dc.description.abstractThe focus of this thesis is the comparison of languages and the reduction of automata used in network traffic monitoring. In this work, several approaches for approximate (language non-preserving) reduction of automata and comparison of their languages are proposed. The reductions are based on either under-approximating the languages of automata by pruning their states, or over-approximating the language by introducing new self-loops (and pruning redundant states later). The proposed approximate reduction methods and the proposed probabilistic distance utilize information from a network traffic. Formal guarantees with respect to a model of network traffic, represented using a probabilistic automaton are provided. The methods were implemented and evaluated on automata used in network traffic filtering.en
dc.description.markAcs
dc.identifier.citationHAVLENA, V. Porovnávání jazyků a redukce automatů používaných při filtraci síťového provozu [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2017.cs
dc.identifier.other106074cs
dc.identifier.urihttp://hdl.handle.net/11012/69543
dc.language.isocscs
dc.publisherVysoké učení technické v Brně. Fakulta informačních technologiícs
dc.rightsStandardní licenční smlouva - přístup k plnému textu bez omezenícs
dc.subjectvzdálenost jazykůcs
dc.subjectfiltrování síťového provozucs
dc.subjectváhované automatycs
dc.subjectkonečné automatycs
dc.subjectpřibližná redukcecs
dc.subjectlanguage distanceen
dc.subjectnetwork traffic filteringen
dc.subjectweighted automataen
dc.subjectfinite automataen
dc.subjectapproximate reductionen
dc.titlePorovnávání jazyků a redukce automatů používaných při filtraci síťového provozucs
dc.title.alternativeComparing Languages and Reducing Automata Used in Network Traffic Filteringen
dc.typeTextcs
dc.type.drivermasterThesisen
dc.type.evskpdiplomová prácecs
dcterms.dateAccepted2017-06-19cs
dcterms.modified2020-05-09-23:42:08cs
eprints.affiliatedInstitution.facultyFakulta informačních technologiícs
sync.item.dbid106074en
sync.item.dbtypeZPen
sync.item.insts2025.03.26 15:25:09en
sync.item.modts2025.01.17 12:04:12en
thesis.disciplineMatematické metody v informačních technologiíchcs
thesis.grantorVysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémůcs
thesis.levelInženýrskýcs
thesis.nameIng.cs
Files
Original bundle
Now showing 1 - 4 of 4
Loading...
Thumbnail Image
Name:
final-thesis.pdf
Size:
1.68 MB
Format:
Adobe Portable Document Format
Description:
final-thesis.pdf
Loading...
Thumbnail Image
Name:
Posudek-Vedouci prace-19398_v.pdf
Size:
88.39 KB
Format:
Adobe Portable Document Format
Description:
Posudek-Vedouci prace-19398_v.pdf
Loading...
Thumbnail Image
Name:
Posudek-Oponent prace-19398_o.pdf
Size:
88.14 KB
Format:
Adobe Portable Document Format
Description:
Posudek-Oponent prace-19398_o.pdf
Loading...
Thumbnail Image
Name:
review_106074.html
Size:
1.48 KB
Format:
Hypertext Markup Language
Description:
file review_106074.html
Collections