Verifikace kryptografických vlastností platebního protokolu – Bc. Peter Chriašteľ
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 …viacAbstract:
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á …viac
Jazyk práce: Slovak
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
- Vedúci: RNDr. Vojtěch Řehák, Ph.D.
- Oponent: RNDr. Marián Novotný, Ph.D.
Citační záznam
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 informatikyMasaryk University
Faculty of InformaticsMaster programme / odbor:
Applied Informatics / Applied Informatics
Práce na příbuzné téma
-
Převádění záznamů testů do podoby Message Sequence Chart popisů
Martin Vodila -
Time Extension of Message Sequence Chart
Ľuboš Korenčiak -
Message Sequence Chart Properties and Checking Algorithms
Jindřich Babica -
Probabilistic Extension of Message Sequence Chart
Martin Křivánek -
Refactoring of Sequence Chart Studio
Ondřej Bouda -
Realizability of Message Sequence Graphs
Martin Chmelík -
Layout Configuration for Message Sequence Charts
Milan Malota -
Rozšíření Sequence Chart Studia o exportní filtr do LaTeXu
Adrian Farmadin