|
|
Metody návrhu platebních protokolů
Matúška, Peter ; Trchalík, Roman (oponent) ; Očenášek, Pavel (vedoucí práce)
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.
|
|
|
Model sázkové kanceláře
Matúška, Peter ; Zbořil, František (oponent) ; Grulich, Lukáš (vedoucí práce)
Práca analyzuje stávkovú kanceláriu ako ekonomický subjekt. Ukazuje, ako vytvoriť jej model tak, aby bolo možné skúmať práve ekonomické vlastnosti tohoto subjektu vrátane vplyvov reklamy a kurzov na zákazníka. Popisuje implementáciu modelu pomocou jazyka C++ a simulačnej knižnice SIMLIB a v závere ukazuje výsledky experimentov s týmto modelom.
|
|
|
Model sázkové kanceláře
Matúška, Peter ; Zbořil, František (oponent) ; Grulich, Lukáš (vedoucí práce)
Práca analyzuje stávkovú kanceláriu ako ekonomický subjekt. Ukazuje, ako vytvoriť jej model tak, aby bolo možné skúmať práve ekonomické vlastnosti tohoto subjektu vrátane vplyvov reklamy a kurzov na zákazníka. Popisuje implementáciu modelu pomocou jazyka C++ a simulačnej knižnice SIMLIB a v závere ukazuje výsledky experimentov s týmto modelom.
|
|
|
Metody návrhu platebních protokolů
Matúška, Peter ; Trchalík, Roman (oponent) ; Očenášek, Pavel (vedoucí práce)
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.
|
host ::
RSS.