|
|
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.
|
|
|
Application for displaying cartographic data in web environment
Duchovič, Adam ; Janovič, Filip (oponent) ; Koutný, Martin (vedoucí práce)
This thesis deals with designing application for displaying cartographic data and its implementation to the web environment. The goal was to design an application which will be independent on platform. Introduction provides basic information about the Java programming language, next chapter introduces to the applied developing environment. Then the thesis deals with an option of dividing the solution on two possibilities and the concept of displaying cartographic data. Further is described design procedure of programming application with its implementation to the web environment. Modularity of this application was ensured during its realization. In the conclusion the process of developing application is resumed and both of the solutions are compared.
|
|
|
Application for displaying cartographic data in web environment
Duchovič, Adam ; Janovič, Filip (oponent) ; Koutný, Martin (vedoucí práce)
This thesis deals with designing application for displaying cartographic data and its implementation to the web environment. The goal was to design an application which will be independent on platform. Introduction provides basic information about the Java programming language, next chapter introduces to the applied developing environment. Then the thesis deals with an option of dividing the solution on two possibilities and the concept of displaying cartographic data. Further is described design procedure of programming application with its implementation to the web environment. Modularity of this application was ensured during its realization. In the conclusion the process of developing application is resumed and both of the solutions are compared.
|
|
|
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.
|
host ::
RSS.