Metody návrhu platebních protokolů
| but.committee | prof. Ing. Tomáš Hruška, CSc. (předseda) doc. Ing. Přemysl Kršek, Ph.D. (místopředseda) doc. Ing. Radek Burget, Ph.D. (člen) doc. Ing. Vladimír Janoušek, Ph.D. (člen) Prof. Ing. Pavol Návrat, Ph.D. (člen) doc. Mgr. Adam Rogalewicz, Ph.D. (člen) | cs |
| but.defence | Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se pak seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl 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í studenta na položené otázky rozhodla práci hodnotit stupněm B. Otázky u obhajoby: Co je u platebních protokolů vlastnost "fair-exchange" a lze ji u vygenerovaných protokolů nějakým způsobem ověřit? | cs |
| but.jazyk | čeština (Czech) | |
| but.program | Informační technologie | cs |
| but.result | práce byla úspěšně obhájena | cs |
| dc.contributor.advisor | Očenášek, Pavel | cs |
| dc.contributor.author | Matúška, Peter | cs |
| dc.contributor.referee | Trchalík, Roman | cs |
| dc.date.created | 2011 | cs |
| dc.description.abstract | Tato práce analyzuje existující přístupy v návrhu bezpečnostních a platebních protokolů. Popisuje jejich návrh použitím BAN logiky a použitím derivačního systému. Speciální pozornost je věnována metodě kompozice, která je založena na vytváření složitějších protokolů z menších celků a je demonstrována na návrhu nákupní procedury protokolu SET. Metoda je v rámci práce automatizována a implementována v jazyce C++, co umožňuje návrháři na základě jeho požadavků vygenerovat množinu kandidátních protokolů, které může dále použít jako základ v další fázi návrhu. | cs |
| dc.description.abstract | This paper analyses some existing approaches in security and payment protocol design. It describes protocol design using simple BAN logic and using derivation system. Special attention is paid to composition method, which is based on the design of complicated protocols from small parts called primitives and it is demonstrated on design of purchase procedure of SET protocol. This method was automated and implemented in C++ language, which allows designer to generate set of candidate protocols according to his needs and this set can be further used for next phase of protocol design process. | en |
| dc.description.mark | B | cs |
| dc.identifier.citation | MATÚŠKA, P. Metody návrhu platebních protokolů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2011. | cs |
| dc.identifier.other | 42607 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/54123 | |
| dc.language.iso | cs | cs |
| dc.publisher | Vysoké učení technické v Brně. Fakulta informačních technologií | cs |
| dc.rights | Standardní licenční smlouva - přístup k plnému textu bez omezení | cs |
| dc.subject | Metody návrhu | cs |
| dc.subject | bezpečnostní protokoly | cs |
| dc.subject | platební protokoly | cs |
| dc.subject | platební systém | cs |
| dc.subject | metoda kompozice | cs |
| dc.subject | Design methods | en |
| dc.subject | security protocols | en |
| dc.subject | payment protocols | en |
| dc.subject | payment system | en |
| dc.subject | composition method | en |
| dc.title | Metody návrhu platebních protokolů | cs |
| dc.title.alternative | Methods of the Payment Protocols Design | en |
| dc.type | Text | cs |
| dc.type.driver | masterThesis | en |
| dc.type.evskp | diplomová práce | cs |
| dcterms.dateAccepted | 2011-06-23 | cs |
| dcterms.modified | 2020-05-09-23:42:39 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 42607 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.03.26 14:51:36 | en |
| sync.item.modts | 2025.01.17 14:20:19 | en |
| thesis.discipline | Informační systémy | cs |
| thesis.grantor | Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav informačních systémů | cs |
| thesis.level | Inženýrský | cs |
| thesis.name | Ing. | cs |