• čeština
    • English
    • русский
  • English 
    • čeština
    • English
    • русский
  • Login
View Item 
  •   Repository Home
  • Závěrečné práce
  • diplomové práce
  • Fakulta informačních technologií
  • 2010
  • View Item
  •   Repository Home
  • Závěrečné práce
  • diplomové práce
  • Fakulta informačních technologií
  • 2010
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Analýza vybraných platebních protokolů

Analysis of Selected Payment Protocols

Thumbnail
View/Open
review_34683.html (1.444Kb)
Author
Kučerová, Petra
Advisor
Očenášek, Pavel
Referee
Trchalík, Roman
Grade
B
Altmetrics
Metadata
Show full item record
Abstract
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.
 
Keywords
Platební protokol, nástroje pro verifikaci, formální verifikace, SET, VISA, NetBill, CASPER, FDR, SPIN, Payment protocol, verification tools, formal verification, SET, VISA, NetBill, CASPER, FDR, SPIN
Language
čeština (Czech)
Study brunch
Informační systémy
Composition of Committee
doc. Ing. Jaroslav Zendulka, CSc. (předseda) doc. Dr. Ing. Otto Fučík (místopředseda) Ing. Radek Burget, Ph.D. (člen) Doc. Ing. Zdeněk Havlice, CSc. (člen) Ing. Šárka Květoňová, Ph.D. (člen) prof. RNDr. Josef Šlapal, CSc. (člen) prof. Dr. Ing. Pavel Zemčík (člen)
Date of defence
2010-06-22
Process of defence
Studentka nejprve prezentovala výsledky, kterých dosáhla v rámci své práce. Komise se pak seznámila s hodnocením vedoucího a posudkem oponenta práce. Studentka následně odpověděla na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studentky na položené otázky rozhodla práci hodnotit stupněm B. Otázky u obhajoby: U nalezených nedostatků jednotlivých platebních protokolů ve stručnosti zmiňte řešení na jejich zabezpečení.
Result of the defence
práce byla úspěšně obhájena
Persistent identifier
http://hdl.handle.net/11012/54350
Source
KUČEROVÁ, P. Analýza vybraných platebních protokolů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2010.
Collections
  • 2010 [217]
Citace PRO

Portal of libraries | Central library on Facebook
DSpace software copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback | Theme by @mire NV
 

 

Browse

All of repositoryCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister

Statistics

View Usage Statistics

Portal of libraries | Central library on Facebook
DSpace software copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback | Theme by @mire NV