prikaz prve stranice dokumenta Formalno modeliranje transakcija kriptografskog lanca blokova
Rad nije dostupan
završni rad
Formalno modeliranje transakcija kriptografskog lanca blokova
Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2019. urn:nbn:hr:168:720794
Rupić, Kristijan
Sveučilište u Zagrebu
Fakultet elektrotehnike i računarstva

Institucijski repozitorij: Repozitorij FER-a

Citirajte ovaj rad

Rupić, K. (2019). Formalno modeliranje transakcija kriptografskog lanca blokova (Završni rad). Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva. Preuzeto s https://urn.nsk.hr/urn:nbn:hr:168:720794

Rupić, Kristijan. "Formalno modeliranje transakcija kriptografskog lanca blokova." Završni rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2019. https://urn.nsk.hr/urn:nbn:hr:168:720794

Rupić, Kristijan. "Formalno modeliranje transakcija kriptografskog lanca blokova." Završni rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2019. https://urn.nsk.hr/urn:nbn:hr:168:720794

Rupić, K. (2019). 'Formalno modeliranje transakcija kriptografskog lanca blokova', Završni rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, citirano: 02.05.2024., https://urn.nsk.hr/urn:nbn:hr:168:720794

Rupić K. Formalno modeliranje transakcija kriptografskog lanca blokova [Završni rad]. Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva; 2019 [pristupljeno 02.05.2024.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:168:720794

K. Rupić, "Formalno modeliranje transakcija kriptografskog lanca blokova", Završni rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, Zagreb, 2019. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:168:720794

Za citiranje koristite ovu mrežnu adresu: https://urn.nsk.hr/urn:nbn:hr:168:720794
Podaci o radu
NaslovFormalno modeliranje transakcija kriptografskog lanca blokova
Naslov (engleski)Formally modelling blockchain transaction
AutorKristijan Rupić
MentorAnte Đerek (mentor)
Član povjerenstvaAnte Đerek (predsjednik povjerenstva)
Član povjerenstvaMartin Tutek (član povjerenstva)
Član povjerenstvaDarijan Marčetić (član povjerenstva)
Ustanova koja je dodijelila
akademski / stručni stupanj		Sveučilište u Zagrebu
Fakultet elektrotehnike i računarstva
Zagreb
Datum i država obrane2019-07-12, Hrvatska
Znanstveno / umjetničko
područje, polje i grana		TEHNIČKE ZNANOSTI
Računarstvo
Sažetak
Kriptografski lanac blokova (engl. blockchain) je raspodijeljena baza podataka koja omogućava neizmjenjivu i neporecivu pohranu zapisa bez potrebe za pouzdanim središnjim autoritetom uporabom kriptografije za osiguravanje podataka. Koristi se u implementaciji sustava poput kriptovaluta i pametnih ugovora (engl. smart contract) te stoga postoji potreba za visokom sigurnošću u ispravnost implementacije s ciljem garancije raznih sigurnosnih svojstava. Formalne metode nameću se kao nužan alat u specifikaciji i verifikaciji ovakvih sustava. U sklopu završnog rada izrađen je formalni model sustava transakcija kriptovalute Bitcoin u sustavu za dokazivanje Coq te napisan računalno provjeren dokaz nemogućnosti dvostrukog trošenja novca u sustavu.
Sažetak (engleski)
Blockchain is a distributed database that allows for immutable and non-repudiable storage of records without need for a trusted central authority using cryptography for securing the stored data. It is used in implementations of systems such as cryptocurrencies and smart contracts and therefore requires high certainty in the correctness of implementation in order to guarantee various security-related properties. Formal methods arise as a crucial tool in the specification and verification of such systems. In this thesis a formal model of the cryptocurrency Bitcoin’s transaction system is developed in the Coq proof assistant and a machine-checked proof of the impossibility of double spending of money in the system is written.
Ključne riječi
Ključne riječi (engleski)
Jezikhrvatski
URN:NBNurn:nbn:hr:168:720794
Studijski programNaziv: Računarstvo
Vrsta studija: sveučilišni
Stupanj studija: preddiplomski
Akademski / stručni naziv: sveučilišni/a prvostupnik/ prvostupnica (baccalaureus/baccalaurea) inženjer/inženjerka računarstva (univ.bacc.ing.comp.)
Vrsta resursaTekst
Način izrade datotekeIzvorno digitalna
Prava pristupaZatvoreni pristup
Uvjeti korištenjaIkona licence Zaštićeno autorskim pravom.
Javna napomena
Datum i vrijeme pohrane2020-01-07 21:54:43