Bc. Peter Chriašteľ

Diplomová práce

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 …více
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á …více
 

Klíčová slova

enkrypcia formálna verifikácia kryptografia Message Sequence Chart modelovanie overenie modelu pi-calculus ProVerif
 
Jazyk práce: slovenština
Datum vytvoření / odevzdání či podání práce: 25. 5. 2015
Identifikátor: https://is.muni.cz/th/n0aai/

Obhajoba závěrečné práce

  • Obhajoba proběhla 26. 6. 2015
  • Vedoucí: RNDr. Vojtěch Řehák, Ph.D.
  • Oponent: RNDr. Marián Novotný, Ph.D.

Citační záznam

Citovat tuto práci

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatiky
Složka Odkaz na adresář do lokálního úložiště instituce

Masarykova univerzita

Fakulta informatiky

Magisterský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.
Všechny práce