prikaz prve stranice dokumenta Formalna verifikacija post-kvantnog protokola pomoću alata Tamarin
Rad nije dostupan
diplomski rad
Formalna verifikacija post-kvantnog protokola pomoću alata Tamarin
Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2024. urn:nbn:hr:168:404428
Futivić, Ivan
Sveučilište u Zagrebu
Fakultet elektrotehnike i računarstva

Institucijski repozitorij: Repozitorij FER-a

Citirajte ovaj rad

Futivić, I. (2024). Formalna verifikacija post-kvantnog protokola pomoću alata Tamarin (Diplomski rad). Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva. Preuzeto s https://urn.nsk.hr/urn:nbn:hr:168:404428

Futivić, Ivan. "Formalna verifikacija post-kvantnog protokola pomoću alata Tamarin." Diplomski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2024. https://urn.nsk.hr/urn:nbn:hr:168:404428

Futivić, Ivan. "Formalna verifikacija post-kvantnog protokola pomoću alata Tamarin." Diplomski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2024. https://urn.nsk.hr/urn:nbn:hr:168:404428

Futivić, I. (2024). 'Formalna verifikacija post-kvantnog protokola pomoću alata Tamarin', Diplomski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, citirano: 22.11.2024., https://urn.nsk.hr/urn:nbn:hr:168:404428

Futivić I. Formalna verifikacija post-kvantnog protokola pomoću alata Tamarin [Diplomski rad]. Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva; 2024 [pristupljeno 22.11.2024.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:168:404428

I. Futivić, "Formalna verifikacija post-kvantnog protokola pomoću alata Tamarin", Diplomski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, Zagreb, 2024. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:168:404428

Za citiranje koristite ovu mrežnu adresu: https://urn.nsk.hr/urn:nbn:hr:168:404428
Podaci o radu
NaslovFormalna verifikacija post-kvantnog protokola pomoću alata Tamarin
Naslov (engleski)Formal verification of a post-quantum protocol using the Tamarin tool
AutorIvan Futivić
MentorAnte Đerek (mentor)
Član povjerenstvaAnte Đerek (predsjednik povjerenstva)
Član povjerenstvaMarin Golub (član povjerenstva)
Član povjerenstvaAdrian Satja Kurdija (č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 obrane2024-07-02, Hrvatska
Sažetak
Ovaj diplomski rad bavi se sigurnosnom analizom PQXDH protokola, post-kvantne modifikacije X3DH protokola razvijenog za aplikaciju Signal. Cilj rada bio je analizirati sigurnosna svojstva protokola koristeći alat za formalnu verifikaciju Tamarin. Provedena je analiza sigurnosnih svojstava poput autentičnosti, integriteta i unaprijedne povjerljivosti. Rezultati su pokazali da PQXDH protokol zadovoljava sva ključna sigurnosna svojstva. Formalna verifikacija također je omogućila identifikaciju kritičnih dijelova protokola, potvrđujući njihovu neophodnost u osiguravanju navedenih svojstava i cjelokupne sigurnosti protokola. Ovaj rad također potvrđuje važnost formalne verifikacije u razvoju sigurnih kriptografskih protokola otpornih na napade kvantnim računalima.
Sažetak (engleski)
This thesis describes a security analysis of the PQXDH protocol, a post-quantum modification of the X3DH protocol developed by Signal. The goal of the thesis is to analyze the security properties of the protocol using a formal verification tool called Tamarin. These properties include authenticity, integrity, and forward secrecy. The results show that the PQXDH protocol meets all key security properties. Formal verification also enabled the identification of some critical parts of the protocol, confirming their necessity in ensuring these properties and the overall security of the protocol. This paper also underscores the importance of formal verification in the development of secure cryptographic protocols resistant to attacks by quantum computers.
Ključne riječi
Ključne riječi (engleski)
Jezikhrvatski
URN:NBNurn:nbn:hr:168:404428
Studijski programNaziv: Računarstvo
Vrsta studija: sveučilišni
Stupanj studija: diplomski
Akademski / stručni naziv: magistar/magistra inženjer/inženjerka računarstva (mag.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 pohrane2024-10-12 20:35:38