Automatizirana analiza protokola za razmjenu ključeva pomoću alata Tamarin prover

završni rad

• Naslov (engleski): Automated analysis of key exchange protocols using the Tamarin prover tool
• Autor: Ivan Inkret
• Mentor: Ante Đerek (mentor)
• Član povjerenstva: Ante Đerek (predsjednik povjerenstva)
• Član povjerenstva: Petar Paradžik (član povjerenstva)
• Član povjerenstva: Laura 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 obrane: 2023-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: Sigurnosni protokoli; tamarin; sigurnosna svojstva; IoT
• Ključne riječi (engleski): Security protocols; tamarin; security properties; IoT
• Jezik: hrvatski
• URN:NBN: urn:nbn:hr:168:999136
• Studijski program: Naziv: 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 resursa: Tekst
• Način izrade datoteke: Izvorno digitalna
• Prava pristupa: Zatvoreni pristup
• Datum i vrijeme pohrane: 2023-10-11 09:05:03