Porovnávání jazyků a redukce automatů používaných při filtraci síťového provozu
but.committee | prof. 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.defence | 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? | cs |
but.jazyk | čeština (Czech) | |
but.program | Informační technologie | cs |
but.result | práce byla úspěšně obhájena | cs |
dc.contributor.advisor | Vojnar, Tomáš | cs |
dc.contributor.author | Havlena, Vojtěch | cs |
dc.contributor.referee | Rogalewicz, Adam | cs |
dc.date.created | 2017 | cs |
dc.description.abstract | 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. | cs |
dc.description.abstract | The 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.mark | A | cs |
dc.identifier.citation | HAVLENA, 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.other | 106074 | cs |
dc.identifier.uri | http://hdl.handle.net/11012/69543 | |
dc.language.iso | cs | cs |
dc.publisher | Vysoké učení technické v Brně. Fakulta informačních technologií | cs |
dc.rights | Standardní licenční smlouva - přístup k plnému textu bez omezení | cs |
dc.subject | vzdálenost jazyků | cs |
dc.subject | filtrování síťového provozu | cs |
dc.subject | váhované automaty | cs |
dc.subject | konečné automaty | cs |
dc.subject | přibližná redukce | cs |
dc.subject | language distance | en |
dc.subject | network traffic filtering | en |
dc.subject | weighted automata | en |
dc.subject | finite automata | en |
dc.subject | approximate reduction | en |
dc.title | Porovnávání jazyků a redukce automatů používaných při filtraci síťového provozu | cs |
dc.title.alternative | Comparing Languages and Reducing Automata Used in Network Traffic Filtering | en |
dc.type | Text | cs |
dc.type.driver | masterThesis | en |
dc.type.evskp | diplomová práce | cs |
dcterms.dateAccepted | 2017-06-19 | cs |
dcterms.modified | 2020-05-09-23:42:08 | cs |
eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
sync.item.dbid | 106074 | en |
sync.item.dbtype | ZP | en |
sync.item.insts | 2025.03.26 15:25:09 | en |
sync.item.modts | 2025.01.17 12:04:12 | en |
thesis.discipline | Matematické metody v informačních technologiích | cs |
thesis.grantor | Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů | cs |
thesis.level | Inženýrský | cs |
thesis.name | Ing. | cs |
Files
Original bundle
1 - 4 of 4
Loading...
- Name:
- final-thesis.pdf
- Size:
- 1.68 MB
- Format:
- Adobe Portable Document Format
- Description:
- final-thesis.pdf
Loading...
- Name:
- Posudek-Vedouci prace-19398_v.pdf
- Size:
- 88.39 KB
- Format:
- Adobe Portable Document Format
- Description:
- Posudek-Vedouci prace-19398_v.pdf
Loading...
- Name:
- Posudek-Oponent prace-19398_o.pdf
- Size:
- 88.14 KB
- Format:
- Adobe Portable Document Format
- Description:
- Posudek-Oponent prace-19398_o.pdf
Loading...
- Name:
- review_106074.html
- Size:
- 1.48 KB
- Format:
- Hypertext Markup Language
- Description:
- file review_106074.html