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.
Annotation in English
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.
Keywords
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.
Keywords in English
Formal concept analysis, object, attribute, formal concept, formal context, concept lattice, cyber attack, denial of service, man in the middle, malware.
Length of the covering note
105 s.
Language
CZ
Annotation
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.
Annotation in English
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.
Keywords
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.
Keywords in English
Formal concept analysis, object, attribute, formal concept, formal context, concept lattice, cyber attack, denial of service, man in the middle, malware.
Research Plan
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.
Research Plan
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.
Recommended resources
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.
Recommended resources
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.
