|
|
Methods of the Payment Protocols Design
Matúška, Peter ; Trchalík, Roman (referee) ; Očenášek, Pavel (advisor)
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.
|
|
|
Model of a Betting Office
Matúška, Peter ; Zbořil, František (referee) ; Grulich, Lukáš (advisor)
Document analyses the betting office as economic subject. It shows how to make its model good to watch economic properties of this subject including commercial and other influence on customers. It also shows implementation of this model in C++ programming language with SIMLIB simulation library and results of simulating and experiments with this model.
|
|
|
Model of a Betting Office
Matúška, Peter ; Zbořil, František (referee) ; Grulich, Lukáš (advisor)
Document analyses the betting office as economic subject. It shows how to make its model good to watch economic properties of this subject including commercial and other influence on customers. It also shows implementation of this model in C++ programming language with SIMLIB simulation library and results of simulating and experiments with this model.
|
|
|
Methods of the Payment Protocols Design
Matúška, Peter ; Trchalík, Roman (referee) ; Očenášek, Pavel (advisor)
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.
|
guest ::
RSS feed.