Slika naslovnice

Formalno modeliranje transakcija kriptografskog lanca blokova

Sažetak na hrvatskom: 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 krip...

Full description

Permalink: http://skupnikatalog.nsk.hr/Record/fer.KOHA-OAI-FER:51559/Similar
Glavni autor: Rupić, Kristijan (-)
Ostali autori: Đerek, Ante (Thesis advisor)
Vrsta građe: Drugo
Impresum: Zagreb, K. Rupić, 2019.
Predmet:
mehanizirani dokaz, pomoćnik za dokazivanje, Coq, kriptografskimehanizirani dokaz, pomoćnik za dokazivanje, Coq, kriptografski lanac blokova, Bitcoin lanac blokova, Bitcoin
mechanized proof, proof assistant, Coq, blockchain, Bitcoin

APA stil citiranja

Rupić, K., & Đerek, A. (2019). Formalno modeliranje transakcija kriptografskog lanca blokova: Formalno modeliranje transakcija kriptografskog lanca blokova : završni rad. Zagreb: K. Rupić.

Chicago stil citiranja

Rupić, Kristijan, and Ante Đerek. Formalno modeliranje transakcija kriptografskog lanca blokova: Formalno modeliranje transakcija kriptografskog lanca blokova : završni rad. Zagreb: K. Rupić, 2019.

MLA stil citiranja

Rupić, Kristijan, and Ante Đerek. Formalno modeliranje transakcija kriptografskog lanca blokova: Formalno modeliranje transakcija kriptografskog lanca blokova : završni rad. Zagreb: K. Rupić, 2019.

Slični primjerci