Diplomová práce

Verifikace kryptografických vlastností platebního protokolu

Verification of Cryptographic Aspects of Payment Protocols

Bc. Peter Chriašteľ
Anotace

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

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

Klíčová slova
enkrypcia formálna verifikácia kryptografia Message Sequence Chart modelovanie overenie modelu pi-calculus ProVerif
Zadání práce

Ve spolupráci s firmou Y Soft je na FI vytvářen platební protokol pro drobné elektronické obchodní transakce. Úkolem studenta je pro účely verifikace návrhu tohoto protokolu prozkoumat možnosti verifikace kryptografických protokolů v nástrojích (např. ProVerif, CVK). Konkrétně v tomto směru první pokus provedla Marharyta Zhuk ve své diplomové práci. Cílem této práce je v tom pokračovat, zkontrolovat její výsledky a rozšířit verifikaci například o kontrolu fází běhu programu, kde v následující fázi může dojít k úniku utajované informace a cílem je zkoumat, co vše tento únik způsobí.

Literatura:

  • Marharyta Zhuk: Modelování a verifikace platebního systému. Diplomová práce. Fakulta informatiky Masarykovy univerzity, 2014.
  • Bruno Blanchet. Automatic Verification of Correspondences for Security Protocols. Journal of Computer Security, 17(4):363-434, July 2009.

Administrativní informace
Práce zkontrolována:
26. 5. 2015 14:36, doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721
Plný text práce
476,7 KB / soubor PDF
Přílohy (1)
Jazyk práce
slovenština slovenština
Termín obhajoby
26. 6. 2015
Práce byla úspěšně obhájena

Vedoucí

doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721
ITI FI MU

Oponent

RNDr. Marián Novotný, Ph.D.

Konzultant

RNDr. Andrij Stecko, Ph.D.
ext FI MU
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Aplikovaná informatika
Obor

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

Seznam prací, které mají shodná klíčová slova.

Podobné práce
 
Název
Vložil
Vloženo
Práva
Archiv závěrečné práce Peter Chriašteľ FI N-AP AP n0aai/7
Pekárková, L.
8. 4. 2015
Složky
Soubory
Anotace anglicky annotation_english.txt
Chriašteľ, P.
25. 5. 2015
Anotace česky annotation.txt
Chriašteľ, P.
25. 5. 2015
Klíčová slova keywords.txt
Chriašteľ, P.
25. 5. 2015
Plný text práce xchriast_dp.pdf
Chriašteľ, P.
25. 5. 2015
Posudek oponenta posudok_chriastel.pdf
Novotný, M.
14. 6. 2015
Posudek vedoucího Chriastel_diplomka.pdf
Řehák, V.
8. 6. 2015
Příloha sources.zip
Chriašteľ, P.
25. 5. 2015

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.