prikaz prve stranice dokumenta Automatizirana analiza autentifikacijskih protokola pomoću alata Tamarin prover
Rad nije dostupan
završni rad
Automatizirana analiza autentifikacijskih protokola pomoću alata Tamarin prover
Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2024. urn:nbn:hr:168:728366
Lovei, Andrej
Sveučilište u Zagrebu
Fakultet elektrotehnike i računarstva

Institucijski repozitorij: Repozitorij FER-a

Citirajte ovaj rad

Lovei, A. (2024). Automatizirana analiza autentifikacijskih protokola pomoću alata Tamarin prover (Završni rad). Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva. Preuzeto s https://urn.nsk.hr/urn:nbn:hr:168:728366

Lovei, Andrej. "Automatizirana analiza autentifikacijskih protokola pomoću alata Tamarin prover." Završni rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2024. https://urn.nsk.hr/urn:nbn:hr:168:728366

Lovei, Andrej. "Automatizirana analiza autentifikacijskih protokola pomoću alata Tamarin prover." Završni rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2024. https://urn.nsk.hr/urn:nbn:hr:168:728366

Lovei, A. (2024). 'Automatizirana analiza autentifikacijskih protokola pomoću alata Tamarin prover', Završni rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, citirano: 26.12.2024., https://urn.nsk.hr/urn:nbn:hr:168:728366

Lovei A. Automatizirana analiza autentifikacijskih protokola pomoću alata Tamarin prover [Završni rad]. Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva; 2024 [pristupljeno 26.12.2024.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:168:728366

A. Lovei, "Automatizirana analiza autentifikacijskih protokola pomoću alata Tamarin prover", Završni rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, Zagreb, 2024. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:168:728366

Za citiranje koristite ovu mrežnu adresu: https://urn.nsk.hr/urn:nbn:hr:168:728366
Podaci o radu
NaslovAutomatizirana analiza autentifikacijskih protokola pomoću alata Tamarin prover
Naslov (engleski)Automated analysis of authentication protocols using the Tamarin prover tool
AutorAndrej Lovei
MentorAnte Đerek (mentor)
Član povjerenstvaAnte Đerek (predsjednik povjerenstva)
Član povjerenstvaPetar Paradžik (član povjerenstva)
Član povjerenstvaJosip Jukić (č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-08, Hrvatska
Znanstveno / umjetničko
područje, polje i grana		TEHNIČKE ZNANOSTI
Računarstvo
Sažetak
Sigurnosni protokoli su važan dio u mrežnoj komunikaciji jer se često prenose osjetljive informacije. U ovom radu sam analizirao protokol za obostranu autentifikaciju između IoT uređaja i gateway-a pomoću alata Tamarin prover. Tamarin prover je alat za simboličko modeliranje i analizu protokola. Ispitao sam svojstva autentifikacije i tajnost ključeva.
Sažetak (engleski)
Security protocols are crucial part of network communication as sensitive information is often transmitted. In this paper, I analyzed a mutual authentication protocol between IoT devices and a gateway using the Tamarin prover tool. Tamarin prover is a tool for symbolic modeling and protocol analysis. I tested properties of authentication and key secrecy.
Ključne riječi
Ključne riječi (engleski)
Jezikhrvatski
URN:NBNurn:nbn:hr:168:728366
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 pohrane2024-10-12 21:21:25