| |
|
Attacks on active network elements
Ščepko, Richard ; Kacálek, Jan (referee) ; Polívka, Michal (advisor)
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.
|
|
Serverless single page application in JavaScript
Zikmund, Marian ; Pecinovský, Rudolf (advisor) ; Suchan, Vladimír (referee)
The goal of this thesis is to design and develop a framework for building modern single- page application in the JavaScript programming language and describe this approach to development. The work also contains the documentation for a more comfortable use and customization. The content is divided into eight chapters. The introduction is followed by the retrieval of information resources, including the specifics of the JavaScript programming language and explanation of the formation of single-page application. The description of the basic principles of their functioning, motivation and justification, when and why this approach is appropriate is also included. The work is primarily focused on the issue of single-page application, for which the use of the JavaScript programming language is crucial. For this reason, this work provides a whole chapter about this programming language, also including a description of its history and role in the context of others. Below are the common characteristics of single-page applications frameworks, built on top of the library ReactJS, whose formation is engaged in the following chapter. The developed framework also contains the user guide. The practical outcome of this work is an open source framework for creating serverless single-page applications, which is due to its architecture and documentation appropriately adaptable.
|
|
The legal status of Palestine
Bernasová, Tereza ; Grmelová, Nicole (advisor) ; Kříž, Radim (referee)
The theme of this diploma thesis is the analysis of the legal status of Palestine. The theoretical part of this thesis examines the history of Palestine, the relations between Palestine and Israel, the rejection of United Nations General Assembly Resolution 181 by Arab states, Palestinian membership in international organisations, the Oslo I Accord and the Montevideo criteria for statehood.The thesis also evaluates the final status negotiations between Israel and Palestine and various Palestinian government programs. The second part of the thesis analyses the constraints posed by divided Palestinian territories and the dynamics and interactions between Palestinian populations living in and outside the territory. Furthermore this diploma thesis focuses on the Palestinian public sector; especially on the areas of justice, education, health system and defense. Individual chapters also deal with the economic instability of Palestine and its financial dependence on the other, mostly European, countries. In conclusion, this diploma thesis will give not only a comprehensive legal view of the status of Palestine, but also views on Palestinian governance.
|
|
Fytochemical potencial of polyfenols contain in berries
KRUMPHANZLOVÁ, Iva
This thesis sums up findings on polyphenols and their positive influence on human health. In these fytochemicals, unlike in micronutrients, recommended daily amount cannot be estimated. Micronutrient deficiency in food can cause deficiency symptoms, while in polyphenol deficiency, the deficiency does not occur. When they are present in sufficient amount in food, it is considered functional food, which is important for civilization illnesses prevention. At the beginning of the theoretical part, the polyphenol classification from pharmacological and chemical point of view is represented. On the basis of this classification important role of antioxidants and flavonoids is described. Special attention is being paid to resveratrol, which is populardue to its well known "French paradox". The following part considers the polyphenol influence on human health. The way in which polyphenols protect our body from certain diseases is explained in detail. Most of the health benefits are supported by studies conducted on animals. These studies are also mentioned and described in this paper. In the theoretical part the process of absorption and the polyphenols safety for human body is also explained. Polyphenol sources are listed in the last subchapter. The work is mainly aimed at blueberry fruits (Vaccinium myrtillus) and vine grapes (Vitis vinifera). Other berries are briefly mentioned as well, such as cranberries, raspberries, blackberries and currant. The goal of this work is to create a diet that would provide a functional daily amount of polyphenols. This amount can be compared to 120 ml of native blueberries. Only products, consumable without cooking, are used in this diet. The second goal is to chart, which food products are adequate source of polyphenols. On the basis of these goals, research inquiries were defined. Research inquiry No. 1: What amount of polyphenols is contained in berries, especially blueberries. Research inquiry No. 2: Which food products (without cooking) are ideal to be included in diet, to provide adequate daily amount of polyphenols. To asses polyphenol content in blueberries, analysis of polyphenol content acquired through GEOMED program from Nemocnice České Budějovice a.s., department of clinical pharmacology, was used. Assessments were made using the HPLC method (high performance liquid chromatography) in cooperation with the biological centre AV ČR in České Budějovice. Thanks to this analysis, the first inquiry can be answered. An interesting phenomenon is discovered, that frozen blueberries have higher polyphenol content then cooled ones. Malvidin (malvidin-3-6"-acetoyl glycoside) was chosen as priority anthocyan since it is most represented in the blueberry. Remaining information about polyphenol content in certain food products were drawn on Joseph Maroon´s book, MD, FACS (2010). The practical part involves a diet for 14 days, which meets the given requirements. The results clearly show that it is possible to create a diet rich in polyphenols. A list of blueberry products accessible to everyone is included. Blueberry dairy products, jams, beverages, fruit salads and fruit pyre have been analysed. The list shows which product contains the most polyphenols. The required amount can be achieved by the proper combination of given products. The ideal one proved to be 200 ml of red wine and one blueberry dairy product (with the malvidin value higher than 64). Findings in this paper will serve to promote polyphenol awareness and itseffects. This diet can be used in nursing homes, where their positive influence on equilibrium can be applied. It can also be used in spas and other alimentation related facilities.
|
|
Porting of Prawn Library from Ruby to Python 3
Molhanec, Michal ; Pícka, Marek (advisor) ; Mikoláš, Mikoláš (referee)
This work focuses on automatic translation of code written in Ruby programming language into Python 3. First part investigates principles of computer programming languages translation as is described in the literature. Second part compares elements of these two programming languages and suggests ways how these elements can be translated.
Based on this theory I developed Ruby-to-Python translator. Its working is demonstrated on the translation of the Prawn library for generating PDF files.
|
|
Automata in Infinite-state Formal Verification
Lengál, Ondřej ; Jančar, Petr (referee) ; Veith, Helmut (referee) ; Esparza, Javier (referee) ; Vojnar, Tomáš (advisor)
Tato práce se zaměřuje na konečné automaty nad konečnými slovy a konečnými stromy, a použití těchto automatů při formální verifikaci nekonečně stavových systémů. Práce se nejdříve věnuje rozšíření existujícího přístupu pro verifikaci programů které manipulují s haldou (konkrétně programů s dynamickými datovými strukturami), jenž je založen na stromových automatech. V práci je navrženo několik rozšíření tohoto přístupu, jako například jeho plná automatizace či jeho rozšíření o podporu uspořádaných dat. V práci jsou popsány nové rozhodovací procedury pro dvě logiky, které jsou často používány ve formální verifikaci: pro separační logiku a pro slabou monadickou druhořádovou logiku s následníkem. Obě tyto rozhodovací procedury jsou založeny na převodu jejich problému do automatové domény a následné manipulaci v této cílové doméně. Posledním přínosem této práce je vývoj nových algoritmů k efektivní manipulaci se stromovými automaty, s důrazem na testování inkluze jazyků těchto automatů a manipulaci s automaty s velkými abecedami, a implementace těchto algoritmů v knihovně pro obecné použití. Tyto vyvinuté algoritmy jsou použity jako klíčová technologie, která umožňuje použití výše uvedených technik v praxi.
|
|
Retargetable Analysis of Machine Code
Křoustek, Jakub ; Janoušek, Jan (referee) ; Návrat,, Pavol (referee) ; Kolář, Dušan (advisor)
Analýza softwaru je metodologie, jejímž účelem je analyzovat chování daného programu. Jednotlivé metody této analýzy je možné využít i v dalších oborech, jako je zpětné inženýrství, migrace kódu apod. V této práci se zaměříme na analýzu strojového kódu, na zjištění nedostatků existujících metod a na návrh metod nových, které umožní rychlou a přesnou rekonfigurovatelnou analýzu kódu (tj. budou nezávislé na konkrétní cílové platformě). Zkoumány budou dva typy analýz - dynamická (tj. analýza za běhu aplikace) a statická (tj. analýza aplikace bez jejího spuštění). Přínos této práce v rámci dynamické analýzy je realizován jako rekonfigurovatelný ladicí nástroj a dále jako dva typy tzv. rekonfigurovatelného translátovaného simulátoru. Přínos v rámci statické analýzy spočívá v navržení a implementování rekonfigurovatelného zpětného překladače, který slouží pro transformaci strojového kódu zpět do vysokoúrovňové reprezentace. Všechny tyto nástroje jsou založeny na nových metodách navržených autorem této práce. Na základě experimentálních výsledků a ohlasů od uživatelů je možné usuzovat, že tyto nástroje jsou plně srovnatelné s existujícími (komerčními) nástroji a nezřídka dosahují i lepších výsledků.
|
|
Harnessing Forest Automata for Verification of Heap Manipulating Programs
Šimáček, Jiří ; Abdulla, Parosh (referee) ; Křetínský, Mojmír (referee) ; Vojnar, Tomáš (advisor)
Tato práce se zabývá verifikací nekonečně stavových systémů, konkrétně, verifikací programů využívajích složité dynamicky propojované datové struktury. V minulosti se k řešení tohoto problému objevilo mnoho různých přístupů, avšak žádný z nich doposud nebyl natolik robustní, aby fungoval ve všech případech, se kterými se lze v praxi setkat. Ve snaze poskytnout vyšší úroveň automatizace a současně umožnit verifikaci programů se složitějšími datovými strukturami v této práci navrhujeme nový přístup, který je založen zejména na použití stromových automatů, ale je také částečně inspirován některými myšlenkami, které jsou převzaty z metod založených na separační logice. Mimo to také představujeme několik vylepšení v oblasti implementace operací nad stromovými automaty, které jsou klíčové pro praktickou využitelnost navrhované verifikační metody. Konkrétně uvádíme optimalizovaný algoritmus pro výpočet simulací pro přechodový systém s návěštími, pomocí kterého lze efektivněji počítat simulace pro stromové automaty. Dále uvádíme nový algoritmus pro testování inkluze stromových automatů společně s experimenty, které ukazují, že tento algoritmus překonává jiné existující přístupy.
|
|
Analysis and Testing of Concurrent Programs
Letko, Zdeněk ; Lourenco, Joao (referee) ; Sekanina, Lukáš (referee) ; Vojnar, Tomáš (advisor)
V disertační práci je nejprve uvedena taxonomie chyb v souběžném zpracování dat a přehled technik pro jejich dynamickou detekci. Následně jsou navrženy nové metriky pro měření synchronizace a souběžného chování programů společně s metodologií jejich odvozování. Tyto techniky se zejména uplatní v testování využívajícím techniky prohledávání prostoru a v saturačním testování. Práce dále představuje novou heuristiku vkládání šumu, jejímž cílem je maximalizace proložení instrukcí pozorovaných během testování. Tato heuristika je porovnána s již existujícími heuristikami na několika testech. Výsledky ukazují, že nová heuristika překonává ty existující v určitých případech. Nakonec práce představuje inovativní aplikaci stochastických optimalizačních algoritmů v procesu testování vícevláknových aplikací. Principem metody je hledání vhodných kombinací parametrů testů a metod vkládání šumu. Tato metoda byla prototypově implementována a otestována na množině testovacích příkladů. Výsledky ukazují, že metoda má potenciál vyznamně vylepšit testování vícevláknových programů.
|
guest ::
