Práce je v teoretické části zaměřena na popis poznatků z oblasti počítačových sítí, kybernetických útoků, teorie svazů, uzávěrových operátorů a věty o pevném bodě. Popis jednotlivých kybernetických útoků je rozčleněn do několika základních částí podle povahy jednotlivých útoků. Dále je popsán také Hasseův diagram, který se ke grafickému znázornění svazů využívá. Praktická část se skládá z obecného popisu formální konceptuální analýzy a především z konkrétní analýzy kybernetických útoků. Tato analýza je rozdělena na více části, kde každá část je zaměřena na útoky stejné povahy. Jako atributy k analýze slouží vlastnosti útoků a principy jejich činnosti.
Anotace v angličtině
The thesis is in the theoretical part focused on the description of knowledge in the field of computer networks, cyber attacks, lattice theory, closure operators and fixed point theorem. Description of individual cyber attacks is divided into several parts according to the nature of individual attacks. Futhermore Hasse diagram is also described which is used to graphical representation of lattices. The practical part consists of a general description of formal concept analysis and especially of a specific analysis of cyber attacks. This analysis is divided into several parts, each part focuses on attacks of the same kind. As attributes to the analysis are used the characteristic of attacks and principles of their activities.
Klíčová slova
Formální konceptuální analýza, objekt, atribut, formální koncept, formální kontext, konceptuální svaz, kybernetický útok, denial of service, man in the middle, malware.
Klíčová slova v angličtině
Formal concept analysis, object, attribute, formal concept, formal context, concept lattice, cyber attack, denial of service, man in the middle, malware.
Rozsah průvodní práce
105 s.
Jazyk
CZ
Anotace
Práce je v teoretické části zaměřena na popis poznatků z oblasti počítačových sítí, kybernetických útoků, teorie svazů, uzávěrových operátorů a věty o pevném bodě. Popis jednotlivých kybernetických útoků je rozčleněn do několika základních částí podle povahy jednotlivých útoků. Dále je popsán také Hasseův diagram, který se ke grafickému znázornění svazů využívá. Praktická část se skládá z obecného popisu formální konceptuální analýzy a především z konkrétní analýzy kybernetických útoků. Tato analýza je rozdělena na více části, kde každá část je zaměřena na útoky stejné povahy. Jako atributy k analýze slouží vlastnosti útoků a principy jejich činnosti.
Anotace v angličtině
The thesis is in the theoretical part focused on the description of knowledge in the field of computer networks, cyber attacks, lattice theory, closure operators and fixed point theorem. Description of individual cyber attacks is divided into several parts according to the nature of individual attacks. Futhermore Hasse diagram is also described which is used to graphical representation of lattices. The practical part consists of a general description of formal concept analysis and especially of a specific analysis of cyber attacks. This analysis is divided into several parts, each part focuses on attacks of the same kind. As attributes to the analysis are used the characteristic of attacks and principles of their activities.
Klíčová slova
Formální konceptuální analýza, objekt, atribut, formální koncept, formální kontext, konceptuální svaz, kybernetický útok, denial of service, man in the middle, malware.
Klíčová slova v angličtině
Formal concept analysis, object, attribute, formal concept, formal context, concept lattice, cyber attack, denial of service, man in the middle, malware.
Zásady pro vypracování
Zpracujte literární rešerši na téma kybernetické útoky v síťových a distribuovaných systémech.
V teoretické části zpracujte základní pojmy a tvrzení teorie uspořádaných množin a teorie svazů. Tvrzení formulujte bez důkazů a uveďte přehledné příklady.
Formulujte základní vlastnosti uzávěrových operátorů na uspořádaných množinách a větu o pevném bodě s konkrétními příklady.
V praktické části zpracujte přehledně základní pojmy a tvrzení formální konceptuální analýzy a uvedtě konkrétní příklady kontextů a jejich konceptuálních svazů v dané oblasti.
Metodami formální konceptuální analýzy proveďte rozbor kybernetických útoků na síťové a distribuované systémy.
Zásady pro vypracování
Zpracujte literární rešerši na téma kybernetické útoky v síťových a distribuovaných systémech.
V teoretické části zpracujte základní pojmy a tvrzení teorie uspořádaných množin a teorie svazů. Tvrzení formulujte bez důkazů a uveďte přehledné příklady.
Formulujte základní vlastnosti uzávěrových operátorů na uspořádaných množinách a větu o pevném bodě s konkrétními příklady.
V praktické části zpracujte přehledně základní pojmy a tvrzení formální konceptuální analýzy a uvedtě konkrétní příklady kontextů a jejich konceptuálních svazů v dané oblasti.
Metodami formální konceptuální analýzy proveďte rozbor kybernetických útoků na síťové a distribuované systémy.
Seznam doporučené literatury
GANTER, Bernhard a Rudolf WILLE. Formal concept analysis: mathematical foundations. New York: Springer, x, 284 p. ISBN 35-406-2771-5.
BĚLOHLÁVEK, Radim. Konceptuální svazy a formální konceptuální analýza [online]. [cit. 2014-02-06]. Dostupný z WWW: http://belohlavek.inf.upol.cz/publications/Bel_Ksfka.pdf.
CHAJDA, Ivan. Algebra 3. Olomouc: Univerzita Palackého, 1998. 125 s. ISBN 80-7067-803-8.
KOPKA, Jan. Svazy a booleovy algebry. Ústí nad Labem: Univerzita J. E. Purkyně, 1991. 244 s. ISBN 80-7044-025-2.
HARZHEIM, By Egbert. Ordered sets. New York: Springer, 2005. ISBN 978-038-7242-224.
JIROVSKÝ, Václav. Kybernetická kriminalita: nejen o hackingu, crackingu, virech a trojských koních bez tajemství. 1. vyd. Praha, 2007, 284 s. ISBN 978-80-247-1561-2.
ENDORF, Carl. Detekce a prevence počítačového útoku. 1. vyd. Praha: Grada, 2005, 355 s. ISBN 80-247-1035-8.
MIRKOVIC, Jelena. Internet denial of service: attack and defense mechanisms. Upper Saddle River, N.J.: Prentice Hall Professional Technical Reference, 2005, xxii, 372 p. ISBN 01-314-7573-8.
Seznam doporučené literatury
GANTER, Bernhard a Rudolf WILLE. Formal concept analysis: mathematical foundations. New York: Springer, x, 284 p. ISBN 35-406-2771-5.
BĚLOHLÁVEK, Radim. Konceptuální svazy a formální konceptuální analýza [online]. [cit. 2014-02-06]. Dostupný z WWW: http://belohlavek.inf.upol.cz/publications/Bel_Ksfka.pdf.
CHAJDA, Ivan. Algebra 3. Olomouc: Univerzita Palackého, 1998. 125 s. ISBN 80-7067-803-8.
KOPKA, Jan. Svazy a booleovy algebry. Ústí nad Labem: Univerzita J. E. Purkyně, 1991. 244 s. ISBN 80-7044-025-2.
HARZHEIM, By Egbert. Ordered sets. New York: Springer, 2005. ISBN 978-038-7242-224.
JIROVSKÝ, Václav. Kybernetická kriminalita: nejen o hackingu, crackingu, virech a trojských koních bez tajemství. 1. vyd. Praha, 2007, 284 s. ISBN 978-80-247-1561-2.
ENDORF, Carl. Detekce a prevence počítačového útoku. 1. vyd. Praha: Grada, 2005, 355 s. ISBN 80-247-1035-8.
MIRKOVIC, Jelena. Internet denial of service: attack and defense mechanisms. Upper Saddle River, N.J.: Prentice Hall Professional Technical Reference, 2005, xxii, 372 p. ISBN 01-314-7573-8.
Přílohy volně vložené
1 CD
Přílohy vázané v práci
ilustrace, tabulky
Převzato z knihovny
Ne
Plný text práce
Přílohy
Posudek(y) oponenta
Hodnocení vedoucího
Záznam průběhu obhajoby
Student seznámil komisi se svou diplomovou prací. Dále proběhla diskuse na dané téma. Student zodpověděl otázky oponenta.