National Repository of Grey Literature 3 records found  Search took 0.00 seconds. 
Payment Systems and Protocols - Analysis, Simulation, Verification
Kučerová, Petra ; Burget, Radek (referee) ; Očenášek, Pavel (advisor)
The aim of the thesis "Payment systems and protocols - analysis, simulation, verification" is overview of payment systems in the Czech Republic, in EU, in USA and in Japan. The first part is concentrated on legislation, the second is dedicated to payment systems, the third is dedicated to payment protocols, their characteristics, used technology and security elements. Comparison of particular payment systems and of particular payment protocols is part of this work too. Thesis is also concentrated on security elements.
Payment Systems and Protocols - Analysis, Simulation, Verification
Kučerová, Petra ; Burget, Radek (referee) ; Očenášek, Pavel (advisor)
The aim of the thesis "Payment systems and protocols - analysis, simulation, verification" is overview of payment systems in the Czech Republic, in EU, in USA and in Japan. The first part is concentrated on legislation, the second is dedicated to payment systems, the third is dedicated to payment protocols, their characteristics, used technology and security elements. Comparison of particular payment systems and of particular payment protocols is part of this work too. Thesis is also concentrated on security elements.
Analysis of Selected Payment Protocols
Kučerová, Petra ; Trchalík, Roman (referee) ; Očenášek, Pavel (advisor)
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.

Interested in being notified about new results for this query?
Subscribe to the RSS feed.