Název:
Analýza vybraných platebních protokolů
Překlad názvu:
Analysis of Selected Payment Protocols
Autoři:
Kučerová, Petra ; Trchalík, Roman (oponent) ; Očenášek, Pavel (vedoucí práce) Typ dokumentu: Diplomové práce
Rok:
2010
Jazyk:
cze
Nakladatel: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstrakt: [cze][eng]
Předmětem diplomové práce "Analýza vybraných platebních protokolů" je přehled o používaných platebních protokolech. První část se zabývá bezpečností dat, druhá je věnována platebním protokolům, jejich charakteristice, použité technologii a bezpečnostním prvkům. Třetí část se věnuje nástrojům pro simulaci a verifikaci platebních protokolů. Součástí práce je i srovnání jednotlivých platebních protokolů a nástrojů. Praktická část práce je zaměřena na formalizaci a verifikaci platebního protokolu Visa 3-D Secure, protokolu NetBill a dvou podprotokolů protokolu SET.
The aim of the master's thesis "Analysis of Selected Payment Protocols" is overview of used payment. The first part is concentrated on data security, the second is dedicated to payment protocols, their characteristics, used technology and security elements. The third part is dedicated to verification and simulation tools. Comparison of particular payment protocols and of particular verification tools is part of this work too. Experimental part of the thesis is focused on formalization and verification of the payment protocol Visa 3-D Secure, of the protocol NetBill and on formalization of two subprotocols of SET.
Klíčová slova:
CASPER; FDR; formální verifikace; NetBill; nástroje pro verifikaci; Platební protokol; SET; SPIN; VISA; CASPER; FDR; formal verification; NetBill; Payment protocol; SET; SPIN; verification tools; VISA
Instituce: Vysoké učení technické v Brně
(web)
Informace o dostupnosti dokumentu:
Plný text je dostupný v Digitální knihovně VUT. Původní záznam: http://hdl.handle.net/11012/54350