Zpět na vyhledávání

Bc. Peter Chriašteľ

Master's thesis

Verifikace kryptografických vlastností platebního protokolu

Verification of Cryptographic Aspects of Payment Protocols
Abstract:
The aim of this thesis is to study documentation of currently developed payment protocol by Y Soft Corporation, a.s. company. It is necessary to explore possibilities of verification of cryptographic properties in one of the automatic verification tools. The thesis verifies results of master thesis of student Marharyta Zhuk and extends it by another properties. Theoretical part of the thesis familiarizes …more
Abstract:
Cieľom tejto diplomovej práce je naštudovať dokumentáciu k vyvíjanému platobnému protokolu firmou Y Soft Corporation, a.s. Pre účely verifikácie je potrebné v niektorom z automatických verifikačných nástrojov preskúmať možnosti overenia kryptografických vlastností. Práca nadväzuje na diplomovú prácu študentky Marharyty Zhuk, overuje dosiahnuté výsledky a rozširuje ju o ďalšie vlastnosti. Práca je rozdelená …more
 

Keywords

enkrypcia formálna verifikácia kryptografia Message Sequence Chart modelovanie overenie modelu pi-calculus ProVerif
 
Language used: Slovak
Date on which the thesis was submitted / produced: 25. 5. 2015
Identifier: https://is.muni.cz/th/n0aai/

Thesis defence

  • Date of defence: 26. 6. 2015
  • Supervisor: RNDr. Vojtěch Řehák, Ph.D.
  • Reader: RNDr. Marián Novotný, Ph.D.

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Master programme / field:
Applied Informatics / Applied Informatics

Theses on a related topic

List of theses with an identical keyword.
All theses