|
|
Security and Performance Testbed for Simulation of Proof-of-Stake Protocols
Borčík, Filip ; Veselý, Vladimír (oponent) ; Homoliak, Ivan (vedoucí práce)
This work deals with performance and security testing of blockchain protocols based on the Proof-of-Stake (PoS) consensus model. It describes properties, problems, but also the use of blockchain systems. On theoretical levels, this thesis compares the properties and resistance to various attacks of numerous PoS protocols, specifically Algorand, Casper, Gasper, Snow White, Stellar and Decred. Additionally, this work implements a protocol simulator of Algorand, Casper FFG and Gasper. The simulator is built on top of the Bitcoin Simulator simulation tool, which is based on the NS-3 discrete network event simulator. Then, it compares the properties of the implemented protocols using discrete simulation.
|
|
|
Security and Performance Testbed for Simulation of Proof-of-Stake Protocols
Kotráš, Jan ; Hellebrandt, Lukáš (oponent) ; Malinka, Kamil (vedoucí práce)
This diploma thesis deals with blockchain technology with focusing on the consensus protocols, especially on proof-of-stake protocols type. This thesis describes blockchain technology followed by description of consensus in this technology. First part precisely describes a comparison of specific proof-of-stake protocols based on the theoretical knowledge. Second part of thesis focuses on the design and the implementation of a testbed. The testbed is used for comparison of proof-of-stake protocols practically. In the last section of thesis, we discuss our observed properties of proof-of-stake protocols and on this basement we indicate some next ways of evolution and improvement in the consensus and proof-of-stake protocols.
|
|
|
Security and Performance Testbed for Simulation of Proof-of-Stake Protocols
Borčík, Filip ; Veselý, Vladimír (oponent) ; Homoliak, Ivan (vedoucí práce)
This work deals with performance and security testing of blockchain protocols based on the Proof-of-Stake (PoS) consensus model. It describes properties, problems, but also the use of blockchain systems. On theoretical levels, this thesis compares the properties and resistance to various attacks of numerous PoS protocols, specifically Algorand, Casper, Gasper, Snow White, Stellar and Decred. Additionally, this work implements a protocol simulator of Algorand, Casper FFG and Gasper. The simulator is built on top of the Bitcoin Simulator simulation tool, which is based on the NS-3 discrete network event simulator. Then, it compares the properties of the implemented protocols using discrete simulation.
|
|
|
Security and Performance Testbed for Simulation of Proof-of-Stake Protocols
Kotráš, Jan ; Hellebrandt, Lukáš (oponent) ; Malinka, Kamil (vedoucí práce)
This diploma thesis deals with blockchain technology with focusing on the consensus protocols, especially on proof-of-stake protocols type. This thesis describes blockchain technology followed by description of consensus in this technology. First part precisely describes a comparison of specific proof-of-stake protocols based on the theoretical knowledge. Second part of thesis focuses on the design and the implementation of a testbed. The testbed is used for comparison of proof-of-stake protocols practically. In the last section of thesis, we discuss our observed properties of proof-of-stake protocols and on this basement we indicate some next ways of evolution and improvement in the consensus and proof-of-stake protocols.
|
|
|
Analýza vybraných platebních protokolů
Kučerová, Petra ; Trchalík, Roman (oponent) ; Očenášek, Pavel (vedoucí práce)
Př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.
|
|
|
Databáze specifikací bezpečnostních protokolů
Hadaš, Petr ; Trchalík, Roman (oponent) ; Očenášek, Pavel (vedoucí práce)
Diplomová práce popisuje čtyři nástroje určené pro verifikaci bezpečnostních protokolů Athena, Casper, Isabelle a Murphi. U každého je uvedena stručná charakteristika a část implementace protokolu Needham Schroeder. Součástí je také srovnání vybraných nástrojů. Druhá část práce podrobně popisuje nástroj Athena a uvádí příklady verifikovaných protokolů. U každého protokolu je uvedena specifikace komunikace, odhalený útok a výsledky vlastní verifikace. Na závěr práce porovnává výsledky verifikace s již publikovanými útoky.
|
host ::
RSS.