Original title:
Metody návrhu platebních protokolů
Translated title:
Methods of the Payment Protocols Design
Authors:
Matúška, Peter ; Trchalík, Roman (referee) ; Očenášek, Pavel (advisor) Document type: Master’s theses
Year:
2011
Language:
cze Publisher:
Vysoké učení technické v Brně. Fakulta informačních technologií Abstract:
[cze][eng]
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.
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.
Keywords:
composition method; Design methods; payment protocols; payment system; security protocols; bezpečnostní protokoly; metoda kompozice; Metody návrhu; platební protokoly; platební systém
Institution: Brno University of Technology
(web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library. Original record: http://hdl.handle.net/11012/54123