|
|
Formal Language Theory Applied to Computer Security
Regéciová, Dominika ; Kolář, Dušan (referee) ; Meduna, Alexandr (advisor)
Computer security is and will always be a critical area that affects everyone. Despite all the efforts made to build safer systems and test them, however, new vulnerabilities and vulnerabilities are still emerging and creating the impression of tilting at windmills. Partial justification of the current state, but also possible solutions, brings in many respects an extraordinary view of security through formal language theory. Emphasis should be put on a more responsible approach to the recognition and processing of inputs, which are often the gateway to many attacks. In this paper, we will get acquainted with this trend and its recommendations for development and will then introduce a new method of detecting SQL injection attacks built on its foundations.
|
|
|
Parallel Parsing
Holko, Maroš ; Regéciová, Dominika (referee) ; Meduna, Alexandr (advisor)
The goal of this bachelor thesis is to create and implement a parallel version of a Cocke-Younger-Kasami algorithm, which is used for syntactic analysis. This algorithm works with context-free grammars, so a big part of this work is dedicated to context-free grammars and their transformation to the Chomsky normal form. Output of this thesis is console application in C++ which use threads for parallel processing. There is also an extension for finding all rule successions for given input string designed and implemented. In the end there is a discussion about program's advantages and disadvantages.
|
|
|
Standard C Language Preprocessor and Libraries for WWW Browser
Burda, Luděk ; Regéciová, Dominika (referee) ; Kolář, Dušan (advisor)
This technical report describes design and implementation of a C preprocessor in javascript without using a remote server for processing of the source code. Further it deals with implementation of a subset of standard libraries functions of the C language in javascript and its memory and time efficiency. In addition, a type based C memory model is implemented as necessary component for the standard functions.
|
|
|
Improved Pattern Generation for Detection of Malicious Code
Štěpánek, Martin ; Regéciová, Dominika (referee) ; Křivka, Zbyněk (advisor)
This thesis deals with an automatic pattern generation, that can be used for detection of malicious code. The aim of this thesis is to create a tool to help the analysts to detect malware. Approaches of malware detection used in Avast Software are reviewed. A tool called YaraGen, which was improved in this work, is presented. New analyses implemented for YaraGen are introduced. The main contribution of this thesis are behavioral analyses of a malicious code.
|
|
|
Next Generation of Fedora MediaWriter
Gasta, Evžen ; Kolář, Dušan (referee) ; Regéciová, Dominika (advisor)
The goal of this bachelor thesis is to create new version of tool Fedora Media Writer, used for creating bootable USB with operating system Fedora. Main purpose of this rework is support of native look on operating systems Windows and MacOS. New version of framework Qt is able to do that. The result is new look of aplication with other upgrades. Benefit of this bachelor thesis is actualization open source aplication, about which was community interested in. Final aplication allow to use Fedora Media Writer with native design on different operating systems.
|
|
|
Festival Information System Modularization
Hanes, Ján ; Regéciová, Dominika (referee) ; Křivka, Zbyněk (advisor)
This bachelor thesis focuses on the modularity of information systems, their architecture, and principles of module development. The primary focus is a content management system, Drupal. This work provides comprehensive documentation of Drupal in the context of an information system for human resource management used by Animefest festival. It designs a migration of an existing information system to the new main version of Drupal, implementation of support modules, and deployment. The second part practically illustrates the development of a gamification module and further analyses this issue.
|
|
|
Karel 3D - Application for Teaching of Programming
Čoupek, Vojtěch ; Regéciová, Dominika (referee) ; Křivka, Zbyněk (advisor)
The work provides a survey of the tools available for the teachers of Informatics who teach students the basics of programming. The main aim is to create the implementation of Karel pedagogic language inspired by the work of Andrej Blaho and his colleagues for MS-DOS platform. The new web application is introduced that expands the functionality of the original language with variables and includes the up-to-date elements of the user interface, such as block programming, highlighting the language syntax, syntax checking and 3D graphics. The application also provides a set of basic examples for teachers and allows them to create their own tasks.
|
|
|
Advanced Error Recovery during Bottom-Up Parsing
Regéciová, Dominika ; Kolář, Dušan (referee) ; Meduna, Alexandr (advisor)
This bachelor thesis deals with advanced methods for error recovery during bottom-up parsing. It describes and compares methods with the modified grammar FUN. It creates a web-based interface, Project Alan, where chosen methods are implemented for the simulation of error recovery process. The author also added her own method and she compared it with others.
|
|
| |
|
|
Transformation of Queue Grammars
Holas, David ; Regéciová, Dominika (referee) ; Křivka, Zbyněk (advisor)
The master thesis is divided into two parts. First part focuses on fixing incorrect transformation algorithm of queue grammar into a first normal form proposed in other paper. The algorithm was analysed and successfully corrected. Second part focuses on proposing a new tranformation to scattered context grammars with reduced descriptional complexity. The thesis contains a proof of its correctness and contains its complexity analysis. Console application was created to help analyze the respective transformations.
|
guest ::
