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 …moreAbstract:
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
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
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 informatikyMasaryk University
Faculty of InformaticsMaster programme / field:
Applied Informatics / Applied Informatics
Theses on a related topic
-
Převádění záznamů testů do podoby Message Sequence Chart popisů
Martin Vodila -
Probabilistic Extension of Message Sequence Chart
Martin Křivánek -
Message Sequence Chart Properties and Checking Algorithms
Jindřich Babica -
Time Extension of Message Sequence Chart
Ľuboš Korenčiak -
Refactoring of Sequence Chart Studio
Ondřej Bouda -
Realizability of Message Sequence Graphs
Martin Chmelík -
Layout Configuration for Message Sequence Charts
Milan Malota -
Effective Algorithms for Time Relation Checking in Message Sequence Charts
Ľuboš Korenčiak