|
|
Specification Languages and Tools for Analysis and Verification of Security Protocols
Ptáček, Michal ; Trchalík, Roman (referee) ; Očenášek, Pavel (advisor)
This diploma thesis is focused on the analysis of security tools, which are commonly used for automatic verification of security protocols mainly. These security protocols are used for creation of private communication channells in insecured networks. Security will never be perfect, so finding of weaknesses in security protocols is always necessary and we need to improve these protocols. In this diploma thesis I have focused on looking for various verification tools on Internet. Subsequently, I have described each tool in this thesis, in way that each reader can easily find out, which tool is for him useful and which is not. I have summarized main benefits and drawbacks of each tool at the end of his description.
|
|
|
A Stock Management System with an e-Shop Integration
Farník, Filip ; Očenášek, Pavel (referee) ; Rychlý, Marek (advisor)
This bachelor thesis concerns the introduction to the problem of a stock management, analysing stored data and ongoing processes in Knihy&Škola company. Furthermore it concerns the development of a suitable data model and the implementation of an information system which is connected to an e-shop. In the final part the thesis contains a discussion concerning possible further development of the system. The information system is based on the web technology and it is employed in trial run in Knihy&Škola company.
|
|
|
Project Management of Building Company
Barjak, Maroš ; Očenášek, Pavel (referee) ; Jirák, Ota (advisor)
This thesis describes an information system created for a building company Hydroeco Ltd. that enables especially project management, documentation and visualization of company projects. The introductory part contains description of technical resources needed to create and run the application. The next part describes the processing requirements and creation of a model system. The system itself is based on PHP Zend Framework using Model-View-Controller architecture and object-oriented approach. Furthermore, it uses technology such as HTML, CSS, JavaScript, jQuery and MySQL. Visualization is ensured by JpGraph library, Google Maps and Autodesk Freewheel tool. The last part describes the actual implementation, testing and a proposal for extension of the system.
|
|
|
Application for Tracking Devices for Windows Phone OS
Pupák, Juraj ; Trchalík, Roman (referee) ; Očenášek, Pavel (advisor)
This application deals with recording of position about phone devices with help of system GPS. The application is implemented for platform Windows Phone 7.5. The Application allows to create profiles, which are evaluated with recorded positions. The evaluation is made through 2 points with Haversine formula. The theoretical part of thesis deals with technologies and GPS system, the practical part deals with design and implementation.
|
|
|
NNTP Server as a Windows Network Service
Loupanec, Josef ; Ráb, Jaroslav (referee) ; Očenášek, Pavel (advisor)
This work includes specification and analysis of requirements, design and implementation of the internet news server. The server controls newsgroups and associated news. It provides availability of the articles by NNTP protocol and HTTP protocol (by web interface). The server supports a user authentication and an optional proxy mode, when all NNTP requests are resent to another remote NNTP server. A mechanism that provides news-downloading from remote NNTP servers and performs distribution function is included too. The application is designed to run on MS Windows NT (and higher version) as a NT service. The server is configurable by a graphic user interface. The work also includes theoretical information needed for successful accomplishment of the above-mentioned requirements.
|
|
|
Educational Game of Motivation on the Android Platform
Kučera, Martin ; Očenášek, Pavel (referee) ; Kreslíková, Jitka (advisor)
The aim of the dissertation is to create a prototype of an educational game which should help students with the choice of future their studies. To this end, the game introduces the topic of logic systems in a non-threating interactive way with clear illustrative examples. The theoretical part of the work deals with the background knowledge necessary in order to design the game. It explains logic systems, gates, flip-flop circuits, and explores various aspects of game genres with primary focus on puzzle games and their history. In addition, the dissertation presents some of the issues related to cross-platform development of games for both mobile and computer platforms, and provides brief descriptions of several popular cross-platform libraries. Lastly, the work introduces and compares several chosen applications created as a supplementary material for teaching logic system.
|
|
|
Linux OS Monitoring
Korček, Juraj ; Očenášek, Pavel (referee) ; Trchalík, Roman (advisor)
The aim of this bachelor's thesis is design and implementation of monitoring tool for GNU/Linux operating systems. This program monitors logs created by system, system load and computer resources. It notifies system administrator in case of high system load, abnormal behavior or when an error occurs. The resulting product is especially aimed for system administrators of GNU/Linux, whose work will be simplified due to this software utility, which sends notification of only important system changes. It is implemented in scripting language Python and divided into smaller independent scripts for easy implementation of new scripts in the future. This programming language was chosen to ensure operation among all GNU/Linux distributions.
|
|
|
Hardware Modelling in UGE
Varga, Ladislav ; Očenášek, Pavel (referee) ; Smrčka, Aleš (advisor)
The goal of this thesis is to create a plugin for application Universal graphic editor, which will allow users to design a hardware architecture. Design of hardware architecture usualy starts with drawing of block diagrams of system which is being developed. Next step is to transcribe this drawn design into some hardware description language (HDL). Since structure of hardware design written in HDL is modular, i.e. similar to the structure of its block diagram, it's possible to translate block diagram of hardware design into HDL source code. The point of this idea is to get rid of designer's work on re-writing the block diagram into HDL language, as this can be automated. Designed plugin allows users to create block diagrams and new hardware components on different layers and switch between these layers interactively. Modul also implements the translation of drawn diagram into VHDL source code.
|
|
|
Information Systems Based on a Virtual Filesystem
Jonáš, Martin ; Očenášek, Pavel (referee) ; Burget, Radek (advisor)
This term project describes the concept of information system based on the virtual file system and the reasons which led to the creation of this concept. It discusses the basic approaches to solve common parts of the functionality of information system (such as access rights management, structure of data and managing configuration of system) and tries to find the concept that solves this functionality consistently and easily. The main objective of the proposed concept is to create a system that brings simplicity and intuitiveness of user interface, unification of common functionality and maximum flexibility and extensibility. The whole concept is based on the representation of the system as a tree of virtual files on which user performs actions.
|
|
| |
guest ::
