Show simple item record

Analysis of Selected Payment Protocols

dc.contributor.advisorOčenášek, Pavelcs
dc.contributor.authorKučerová, Petracs
dc.date.accessioned2019-04-03T22:27:25Z
dc.date.available2019-04-03T22:27:25Z
dc.date.created2010cs
dc.identifier.citationKUČEROVÁ, P. Analýza vybraných platebních protokolů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2010.cs
dc.identifier.other34683cs
dc.identifier.urihttp://hdl.handle.net/11012/54350
dc.description.abstractPř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.cs
dc.description.abstractThe 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.en
dc.language.isocscs
dc.publisherVysoké učení technické v Brně. Fakulta informačních technologiícs
dc.rightsStandardní licenční smlouva - přístup k plnému textu bez omezenícs
dc.subjectPlatební protokolcs
dc.subjectnástroje pro verifikacics
dc.subjectformální verifikacecs
dc.subjectSETcs
dc.subjectVISAcs
dc.subjectNetBillcs
dc.subjectCASPERcs
dc.subjectFDRcs
dc.subjectSPINcs
dc.subjectPayment protocolen
dc.subjectverification toolsen
dc.subjectformal verificationen
dc.subjectSETen
dc.subjectVISAen
dc.subjectNetBillen
dc.subjectCASPERen
dc.subjectFDRen
dc.subjectSPINen
dc.titleAnalýza vybraných platebních protokolůcs
dc.title.alternativeAnalysis of Selected Payment Protocolsen
dc.typeTextcs
dcterms.dateAccepted2010-06-22cs
dcterms.modified2014-07-17-13:53:52cs
thesis.disciplineInformační systémycs
thesis.grantorVysoké učení technické v Brně. Fakulta informačních technologií. Ústav informačních systémůcs
thesis.levelInženýrskýcs
thesis.nameIng.cs
sync.item.dbid34683en
sync.item.dbtypeZPen
sync.item.insts2019.06.21 08:38:24en
sync.item.modts2019.05.18 10:01:38en
dc.contributor.refereeTrchalík, Romancs
dc.description.markBcs
dc.type.drivermasterThesisen
dc.type.evskpdiplomová prácecs


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record