prikaz prve stranice dokumenta Automatizirana analiza protokola za razmjenu ključeva pomoću alata Tamarin prover
Rad nije dostupan
završni rad
Automatizirana analiza protokola za razmjenu ključeva pomoću alata Tamarin prover
Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2023. urn:nbn:hr:168:999136
Inkret, Ivan
Sveučilište u Zagrebu
Fakultet elektrotehnike i računarstva

Institucijski repozitorij: Repozitorij FER-a

Citirajte ovaj rad

Inkret, I. (2023). Automatizirana analiza protokola za razmjenu ključeva 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:999136

Inkret, Ivan. "Automatizirana analiza protokola za razmjenu ključeva pomoću alata Tamarin prover." Završni rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2023. https://urn.nsk.hr/urn:nbn:hr:168:999136

Inkret, Ivan. "Automatizirana analiza protokola za razmjenu ključeva pomoću alata Tamarin prover." Završni rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2023. https://urn.nsk.hr/urn:nbn:hr:168:999136

Inkret, I. (2023). 'Automatizirana analiza protokola za razmjenu ključeva pomoću alata Tamarin prover', 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:999136

Inkret I. Automatizirana analiza protokola za razmjenu ključeva pomoću alata Tamarin prover [Završni rad]. Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva; 2023 [pristupljeno 02.05.2024.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:168:999136

I. Inkret, "Automatizirana analiza protokola za razmjenu ključeva pomoću alata Tamarin prover", Završni rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, Zagreb, 2023. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:168:999136

Za citiranje koristite ovu mrežnu adresu: https://urn.nsk.hr/urn:nbn:hr:168:999136
Podaci o radu
NaslovAutomatizirana analiza protokola za razmjenu ključeva pomoću alata Tamarin prover
Naslov (engleski)Automated analysis of key exchange protocols using the Tamarin prover tool
AutorIvan Inkret
MentorAnte Đerek (mentor)
Član povjerenstvaAnte Đerek (predsjednik povjerenstva)
Član povjerenstvaPetar Paradžik (član povjerenstva)
Član povjerenstvaLaura Majer (č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 obrane2023-07-04, Hrvatska
Znanstveno / umjetničko
područje, polje i grana		TEHNIČKE ZNANOSTI
Računarstvo
Sažetak
Komunikacija zahtijeva sigurnosne protokole kao način zaštite podataka i identiteta. Ovi protokoli moraju zadovoljavati određena sigurnosna svojstva kao što su tajnost, autentifikacija i integritet. U tu svrhu protokole je potrebno verificirati, tj. provjeriti da su njihova sigurnosna svojstva zadovoljena. Ovo nije jednostavan posao, pogotovo za kompleksne moderne protokole. Razvijeni su automatizirani sistemi koji mogu verificirati svojstva sigurnosnih protokola, a dva glavna pristupa u koje spadaju su simbolički i računarski. Alat tamarin prover spada pod simbolički pristup i njime sam provjerio svojstva protokola za internet stvari koji je razvijen kako bi se zadovoljili specifični zahtjevi u takvom okruženju.
Sažetak (engleski)
Communication requires security protocols as a way to protect data and identity. These protocols must satisfy certain security properties such as secrecy, authentication and integrity. For this purpose, it is necessary to verify the protocols, i.e. check that their security properties are satisfied. This is not a simple task, especially for complex modern protocols. Automated systems have been developed that can verify the properties of security protocols, and the two main approaches they fall into are symbolic and computational approach. The tamarin prover tool belongs to the symbolic approach and I used it to verify the properties of an Internet of Things protocol that was developed to meet the specific requirements in such an environment.
Ključne riječi
Ključne riječi (engleski)
Jezikhrvatski
URN:NBNurn:nbn:hr:168:999136
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 pohrane2023-10-11 09:05:03