Add to ORKGThis bachelor's thesis deals with the SRI Constraint Solver tool used for analysis of security protocols. The tool is shortly characterised, and its syntax is shown on an implementation of the Needham-Schroeder Public Key protocol. The practical part shows some examples of analysed protocols. Every protocol is specified; it's run in the tool, published attack and found attack in case of its presence. At the end of the thesis, a method of analysis of each protocol and a comparison of achieved results with published are described
With the rise of the Internet and other open networks, a large number of security protocols have bee...
Recent technologies have cleared the way for large scale application of electronic communication. Th...
This bachelor thesis focuses on the RSA algorithm and it's use in electronic communication. The RSA ...
The subject of this thesis is to study available security protocols and tools for their verification...
This thesis is focused on tools which are used to analyzed security protocols. In the beginning of t...
This diploma thesis is focused on the analysis of security tools, which are commonly used for automa...
This diploma thesis deals with cryptography. It describes its basic allocation and problems of numbe...
The aim of the master's thesis "Analysis of Selected Payment Protocols" is overview of used payment....
This paper describes four tools for verification security protocols Athena, Casper, Isabelle and Mur...
The purpose of this work was first to describe the requirements for cryptographic protocols. Further...
This thesis focuses on the study of integration of formal methodologies in security protocol analysi...
The security protocols are widely used for providing safe communication. They are used for creating ...
This work deals with the analysis of basic cryptographic protocols, principle of the authentication ...
Bachelor’s thesis analyzes cryptographic operations and algorithms on different server processor arc...
Komunikacija zahtijeva sigurnosne protokole kao način zaštite podataka i identiteta. Ovi protokoli m...
With the rise of the Internet and other open networks, a large number of security protocols have bee...
Recent technologies have cleared the way for large scale application of electronic communication. Th...
This bachelor thesis focuses on the RSA algorithm and it's use in electronic communication. The RSA ...
The subject of this thesis is to study available security protocols and tools for their verification...
This thesis is focused on tools which are used to analyzed security protocols. In the beginning of t...
This diploma thesis is focused on the analysis of security tools, which are commonly used for automa...
This diploma thesis deals with cryptography. It describes its basic allocation and problems of numbe...
The aim of the master's thesis "Analysis of Selected Payment Protocols" is overview of used payment....
This paper describes four tools for verification security protocols Athena, Casper, Isabelle and Mur...
The purpose of this work was first to describe the requirements for cryptographic protocols. Further...
This thesis focuses on the study of integration of formal methodologies in security protocol analysi...
The security protocols are widely used for providing safe communication. They are used for creating ...
This work deals with the analysis of basic cryptographic protocols, principle of the authentication ...
Bachelor’s thesis analyzes cryptographic operations and algorithms on different server processor arc...
Komunikacija zahtijeva sigurnosne protokole kao način zaštite podataka i identiteta. Ovi protokoli m...
With the rise of the Internet and other open networks, a large number of security protocols have bee...
Recent technologies have cleared the way for large scale application of electronic communication. Th...
This bachelor thesis focuses on the RSA algorithm and it's use in electronic communication. The RSA ...