| |
|
Attacks on active network elements
Ščepko, Richard ; Kacálek, Jan (oponent) ; Polívka, Michal (vedoucí práce)
The bachelor thesis deals with the topic of the security of computer networks. The tasks of the bachelor thesis are the attacks on active network elements with the aim of the catching of data between two users. In the created structure with a stellate topology, the user stations have connect to the active element (switch). In the thesis, the individual ways of attacks and the significance of ARP proceedings to MAC addresses have describ. Several programmes have use in order to take control over the device. Due to a big amount of these active elements the source code of the programmes had to be alter. The work with the programmes ARPtool and ARPoison demanded the operational system Linux, in our case the distribution of Ubunt. The programme WinArpAttacker could be set off under the system Windows XP as well. The achieved results and the description of the practical part are discuss in detail in the summary of the thesis. The result is the catching communication with the help of the programme WireShark.
|
|
Architektura bezserverových jednostránkových aplikací v jazyku JavaScript
Zikmund, Marian ; Pecinovský, Rudolf (vedoucí práce) ; Suchan, Vladimír (oponent)
Cílem diplomové práce je návrh a vývoj frameworku pro tvorbu moderních jednostránkových aplikací (Single Page Application) v programovacím jazyku JavaScript a popsání tohoto přístupu k vývoji. Součástí práce je taktéž jeho dokumentace pro pohodlnější využití a přizpůsobení. Obsah je rozdělen do osmi kapitol. Po úvodu následuje rešerše informačních zdrojů, představení programovacího jazyka JavaScript a vysvětlení problematiky tvorby jednostránkových aplikací, včetně popisu základních principů jejich fungování, motivace a odůvodnění, kdy a proč je tento přístup vhodný. Práce se primárně zaměřuje na problematiku jednostránkových aplikací, pro jejichž tvorbu je programovací jazyk JavaScript klíčový. Z toho důvodu je mu v práci poskytnuta jedna celá kapitola, je zde rozebrána i jeho historie a role v kontextu ostatních. Následuje přehled obecných vlastností jednostránkových aplikací, analýza aktuálně oblíbených řešení stavějících na knihovně ReactJS, z nichž vyplývají požadavky na vyvíjený framework, jehož tvorbou se zabývá následující kapitola. K vyvinutému frameworku je též vytvořena uživatelská příručka. Praktickým výstupem práce je open source framework pro tvorbu bezserverových jednostránkových aplikací, který lze podle požadavků díky své architektuře a dokumentaci vhodně přizpůsobovat.
|
|
Analýza dopadů realizovaných projektů OP Praha - konkurenceschopnost v programovacím období 2007-2013
Kellnerová, Markéta ; Wokoun, René (vedoucí práce) ; Krejčová, Nikola (oponent)
Cílem této práce je zhodnotit vliv realizovaných projektů operačního programu Praha konkurenceschopnost na rozvoj regionu Praha. Teoretická část bude věnována vzniku a vývoji regionální politiky, následnému vzniku EU a jejímu rozdělení do jednotlivých programových období včetně stanovených cílů. Poté jsou v práci rozvedeny možnosti čerpání fondů EU, následně konkrétně pro ČR. Jelikož se jedná o OP, který se týká pouze hl. m. Prahy, je tomuto regionu věnována celá kapitola. Poslední částí teoretického oddílu je implementace OP. Praktická část se zabývá kvantitativní a finanční analýzou operačního programu, který je rozdělen na jednotlivé programové roky. V závěru praktického oddílu je působení OP celkově zhodnoceno, zejména jeho vliv na rozvoj Prahy prostřednictvím horizontálních témat a plnění stanovených indikátorů. Nakonec je zhodnocen vliv na region Praha v rámci jednotlivých žadatelů o dotaci.
|
|
Analysis of drawing contributions from the Regional Operational Programme in the Košice Region 2007 - 2013
Hupka, Peter ; Kalábová, Markéta (vedoucí práce) ; Abrhám, Josef (oponent)
Regionální politika se stává jednou ze strategických priorit Evropské unie až s jejím postupným rozšířením. Hlavním nástrojem této politiky jsou dotace pro zaostalejší regiony. Tato práce má za cíl zhodnotit Regionální operační program v Košickém kraji v rámci programového období 2007 až 2013. Teoretickou částí autor popisuje proces formování Evropské unie, obecně charakterizuje eurofondy a specifikuje Slovenskou republiku a Košický kraj. Analytická část je věnována charakteristice samotného Regionálního operačního programu. Použitím metody porovnávání jsou hodnoceny jednotlivé prioritní osy operačního programu na základě úspěšnosti čerpání alokací. Pro objektivní zhodnocení byl porovnán i Košický kraj s ostatními kraji Slovenské republiky na úrovni prioritních os. Na základě analýzy autor zhodnotil Regionální operační program v Košickém kraji jako úspěšný s prostorem na zlepšení přizpůsobení alokací.
|
|
Rozhodování o rodinném bydlení
Kačírková, Petra ; Brožová, Helena (vedoucí práce) ; Adam, Adam (oponent)
Tato diplomová práce se zabývá výběrem nejvhodnější nemovitosti a nejvýhodnějšího hypotečního úvěru pro rodinu s dětmi. Rodině měla být vybrána nemovitost v okolí svého momentálního bydliště a poté jí měl být doporučen k této nemovitosti nejvýhodnější hypoteční úvěr. Výběr nemovitosti byl ovlivněn požadavky všech členů rodiny a následný hypoteční úvěr byl vybrán z produktů nabízených na českém trhu v listopadu roku 2016. Práci lze tematicky rozčlenit do tří hlavních částí. První část obsahuje literární rešerši, která je rozdělena do dvou oblastí. Nejprve jsou popsány metody vícekriteriálního rozhodování, které budou použity v procesu rozhodování. Společně s těmito metodami obsahuje literární rešerše i teoretickou část z oblasti programu Super Decisions, který bude využit v praktické části. Dále jsou teoreticky zachyceny pojmy týkající se hypotečních úvěrů, podle nichž jsou poté stanovena kritéria pro hodnocení hypotečních úvěrů. Druhá část práce obsahuje již praktický pohled na problematiku rodiny, což zahrnuje tedy výběr nejvhodnější nemovitosti a nejvýhodnějšího hypotečního úvěru za pomoci programu Super Decisions. Třetí část práce zahrnuje shrnutí práce a interpretaci výsledků získaných díky programu Super Decisions.
|
|
Hybridní mobilní aplikace
Novák, Jiří ; Benda, Petr (vedoucí práce)
Moje bakalářská práce se věnuje problematice hybridního programování. Jedná se o analýzu výhod a nevýhod tohoto způsobu vývoje ve srovnání s alternativy v podobě nativního programování či webových aplikací, které mohou plnit stejný účel.
|
|
Portace knihovny Prawn z Ruby do Pythonu 3
Molhanec, Michal ; Pícka, Marek (vedoucí práce) ; Mikoláš, Mikoláš (oponent)
Práce se zabývá automatickým překladem kódu napsaného v jazyku Ruby do Pythonu 3. Nejprve jsou prozkoumány principy překladu, jak je popisuje odborná literatura. V další části se porovnávají jednotlivé jazykové konstrukce a jsou navrženy způsoby jejich překladu.
Na základě této teorie byl vyvinut překladač, který svou funkčnost ukazuje na překladu knihovny Prawn pro generování PDF souborů.
|
|
Automata in Infinite-state Formal Verification
Lengál, Ondřej ; Jančar, Petr (oponent) ; Veith, Helmut (oponent) ; Esparza, Javier (oponent) ; Vojnar, Tomáš (vedoucí práce)
The work presented in this thesis focuses on finite state automata over finite words and finite trees, and the use of such automata in formal verification of infinite-state systems. First, we focus on extensions of a previously introduced framework for verifi cation of heap-manipulating programs-in particular programs with complex dynamic data structures-based on tree automata. We propose several extensions to the framework, such as making it fully automated or extending it to consider ordering over data values. Further, we also propose novel decision procedures for two logics that are often used in formal verification: separation logic and weak monadic second order logic of one successor. These decision procedures are based on a translation of the problem into the domain of automata and subsequent manipulation in the target domain. Finally, we have also developed new approaches for efficient manipulation with tree automata, mainly for testing language inclusion and for handling automata with large alphabets, and implemented them in a library for general use. The developed algorithms are used as the key technology to make the above mentioned techniques feasible in practice.
|
|
Retargetable Analysis of Machine Code
Křoustek, Jakub ; Janoušek, Jan (oponent) ; Návrat,, Pavol (oponent) ; Kolář, Dušan (vedoucí práce)
Program analysis is a computer-science methodology whose task is to analyse the behavior of a given program. The methods of program analysis can also be used in other methodologies such as reverse engineering, re-engineering, code migration, etc. In this thesis, we focus on program analysis of a machine-code and we address the limitations of a nowadays approaches by proposing novel methods of a fast and accurate retargetable analysis (i.e. they are designed to be independent of a particular target platform). We focus on two types of analysis - dynamic analysis (i.e. run-time analysis) and static analysis (i.e. analysing application without its execution). The contribution of this thesis within the dynamic analysis lays in the extension and enhancement of existing methods and their implementation as a retargetable debugger and two types of a retargetable translated simulator. Within the static analysis, we present a concept and implementation of a retargetable decompiler that performs a program transformation from a machine code into a human-readable form of representation. All of these tools are based on several novel methods defined by the author. According to our experimental results and users feed-back, all of the proposed tools are at least fully competitive to existing solutions, while outperforming these solutions in several ways.
|
host ::
