|
|
Laboratory task of the card access system.
Minárik, Peter ; Kyselák, Martin (oponent) ; Burda, Karel (vedoucí práce)
The Bachelor´s thesis is based on creating laboratory task of the card access system. Principles, technical solutions and primary parts of card access system are described in the first part of the project. The laboratory task is designed in the second part. It’s focused on getting familiar with card access systems, their setup and function.
|
|
|
Testovací implementace protokolu ACP
Ležák, Petr ; Strašil, Ivo (oponent) ; Burda, Karel (vedoucí práce)
Diplomová práce obecně pojednává o metodách řízení přístupu, jednotlivých jeho modulech a konkrétně pak o autentizaci žadatelů. Jsou zde uvedeny metody autentizace využitelné v testovací implementaci protokolu ACP. Dále je rozebrán protokol ACP, jeho možnosti a způsoby použití. Podrobně je popsán formát ACP zpráv, formát i typy AVP a mechanismus transakcí protokolu ACP. Vlastní práce je pak zaměřena na návrh software pro testování tohoto protokolu. Jsou zde rozebrány možnosti testování tohoto protokolu a navrženy testovací scénáře. Následně jsou sepsány požadavky na testovací software a navržen způsob jeho realizace. Dále je v práci uvedena technická dokumentace k vytvořenému programu. V ní jsou vysvětleny hlavní myšlenky, které jsou v programu použity, popsán účel jednotlivých částí programu a vazby mezi nimi. Nakonec je v příloze zpracován návod k obsluze programu včetně názorného příkladu popisujícího naprogramování a otestování jednoduchého scénáře autentizace.
|
|
|
Implementation of the ACP protocol into L4 operating system
Kolarík, Tomáš ; Strašil, Ivo (oponent) ; Burda, Karel (vedoucí práce)
This thesis deals with the implementation of ACP protocol which serves to manage the access for operation system based on L4 microkernel. The theoretical part of the thesis deals with methods of access management in computer networks. It focuses primarily on AAA systems which make access management possible. Furthermore it describes in detail the ACP protocol, the types of messages and their feedback. The next theoretical part is dedicated to operation systems and in particular to their architecture and services. Then we get a closer look at L4 microkernel family, their philosophy and properties. We continue with a detailed description of the L4 application interface and its ways of expansion. The practical section deals with the implemented concept of system for ACP protocol support in computers. General concept is then applied in real implementation of ACP protocol into the L4 operation system environment based on the L4 platform. To assist, I also included a detailed tutorial explaining the modeling and compilation of software for this platform. At this point we describe the methods used at the implementation and the description of particular modules and features. The end of the thesis concludes the information about the ways of testing and the implementation properties.
|
|
|
Backup of documents in goverment information systems
Starosta, Martin ; Babnič, Patrik (oponent) ; Burda, Karel (vedoucí práce)
The thesis is focused on backup documents in the public administration information systems. First chapters of thesis are devoted to general theories of backup files and databases. Next is described storage media what is used for backups, their advantages and disadvantages. Afterwards are described the most common backup strategies and rotation scheme. Thesis is devoted after that to analysis of a representative information system that is used to publish documents to the public. Based on information obtained from analysis is selected optimal backup strategy and this strategy is implemented and tested in designed application.
|
|
|
Antivirová ochrana počítače z bootovacího úložiště
Mlejnek, Jiří ; Malina, Lukáš (oponent) ; Burda, Karel (vedoucí práce)
Tématem diplomové práce je navržení způsobu antivirové ochrany s využitím alternativního bootovacího úložiště. Zpracována je související problematika virů a možností obran proti nim. Tato práce je zaměřena na návrh a výběr komponent řešení umožňující provedení antivirového testu z nenarušeného operačního systému. S vybranými komponenty pokračuje praktickou realizaci alternativní bootování operačního systému platformy Windows z počítačové sítě s následnou automatickou antivirovou kontrolou všech lokálních disků. Výsledky o kontrole jsou předávány pomocí podepsaných souborů na sítový server a dávají administrátorovi přehled o výsledcích jednotlivých testů.
|
|
| |
|
| |
|
|
Simulátor provozu stanic s kmitočtovým skákáním a vyhýbáním se kolizí
Akkizová, Dinara ; Pust, Radim (oponent) ; Burda, Karel (vedoucí práce)
Cílem diplomové práce je seznámit se a prostudovat problematiku systému s kmitočtovým skákáním a vyhýbáním se kolizí (systém FH/CA). Dále je v práci navrhnut počítačový program pro simulaci provozu rádiového systému FHCA, který pracuje v pásmu využívaném dalšími systémy FH/CA. Tento simulačním program je vytvořen v programu MATLAB a testuje správnost algoritmu. Pomocí simulátoru jsou získána data o intenzitě vzájemného rušení systémů FH/CA pro vybrané scénáře. Tato práce je rozdělena do pěti částí: v první části je popsán systém hromadné obsluhy, druha část se zabývá rádiovými systémy s kmitočtovým skákáním FH/CA, třetí část popisuje simulační model. Čtvrtá část obsahuje verifikaci modelu a poslední páté části jsou zobrazeny výsledky.
|
|
|
Tools for analyzing security protocols
Duchovič, Adam ; Burda, Karel (oponent) ; Pelka, Tomáš (vedoucí práce)
This thesis is focused on tools which are used to analyzed security protocols. In the beginning of the thesis key goals of security protocols are mentioned and also basic attacks on them are illustrated. Subsequently basic verification techniques, specification languages and verification tools are described. Next part of thesis contains description of protocols in common syntax. Then the main standards used for evaluation of information security products are mentioned. In the end of thesis two well-known verification tools – AVISPA and Scyther - are described and compared to designed methodology of comparing verification tools and their outputs.
|
|
|
Tunelovací a kryptografické protokoly jako ochrana soukromí na regulovaném internetu
Čížek, Michal ; Pust, Radim (oponent) ; Burda, Karel (vedoucí práce)
Tato práce pojednává o regulacích internetu a využití tunelovacích protokolů pro ochranu soukromí na regulovaném internetu. V práci je uveden přehled a podrobný popis nejrozšířenějších tunelovacích protokolů se zaměřením na jejich použití v regulovaných sítích. Výstupem teoretické části práce je přehledná tabulka, kde jsou uvedeny výhody a nevýhody jednotlivých protokolů a dále situace, pro které je vhodné daný protokol použít. V praktické části práce jsou prezentovány jednotlivé tunelovací protokoly na třech v praxi se často vyskytujících scénářích. Každé řešení bylo praktický realizováno, bylo provedeno zachycení datového provozu pomocí programu Wireshark a byla provedena analýza možných rizik pro případ, že by došlo k odposlechnutí komunikace třetí stranou - regulátorem.
|
host ::
RSS.