prikaz prve stranice dokumenta Automatizirana analiza autentifikacijskih protokola pomoću alata Tamarin prover
No public access
undergraduate thesis
Automatizirana analiza autentifikacijskih protokola pomoću alata Tamarin prover
Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing, 2024. urn:nbn:hr:168:728366
Lovei, Andrej
University of Zagreb
Faculty of Electrical Engineering and Computing

Institutional repository: FER Repository

Cite this document

Lovei, A. (2024). Automatizirana analiza autentifikacijskih protokola pomoću alata Tamarin prover (Undergraduate thesis). Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing. Retrieved from https://urn.nsk.hr/urn:nbn:hr:168:728366

Lovei, Andrej. "Automatizirana analiza autentifikacijskih protokola pomoću alata Tamarin prover." Undergraduate thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, 2024. https://urn.nsk.hr/urn:nbn:hr:168:728366

Lovei, Andrej. "Automatizirana analiza autentifikacijskih protokola pomoću alata Tamarin prover." Undergraduate thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, 2024. https://urn.nsk.hr/urn:nbn:hr:168:728366

Lovei, A. (2024). 'Automatizirana analiza autentifikacijskih protokola pomoću alata Tamarin prover', Undergraduate thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, accessed 26 November 2024, https://urn.nsk.hr/urn:nbn:hr:168:728366

Lovei A. Automatizirana analiza autentifikacijskih protokola pomoću alata Tamarin prover [Undergraduate thesis]. Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing; 2024 [cited 2024 November 26] Available at: https://urn.nsk.hr/urn:nbn:hr:168:728366

A. Lovei, "Automatizirana analiza autentifikacijskih protokola pomoću alata Tamarin prover", Undergraduate thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, Zagreb, 2024. Available at: https://urn.nsk.hr/urn:nbn:hr:168:728366

Metadata
TitleAutomatizirana analiza autentifikacijskih protokola pomoću alata Tamarin prover
Title (english)Automated analysis of authentication protocols using the Tamarin prover tool
AuthorAndrej Lovei
MentorAnte Đerek (mentor)
Committee memberAnte Đerek (predsjednik povjerenstva)
Committee memberPetar Paradžik (član povjerenstva)
Committee memberJosip Jukić (član povjerenstva)
GranterUniversity of Zagreb
Faculty of Electrical Engineering and Computing
Zagreb
Defense date and country2024-07-08, Croatia
Scientific / art field,
discipline and subdiscipline		TECHNICAL SCIENCES
Computing
Abstract
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.
Abstract (english)
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.
Keywords
Keywords (english)
Languagecroatian
URN:NBNurn:nbn:hr:168:728366
Study programmeTitle: Computing
Study programme type: university
Study level: undergraduate
Academic / professional title: sveučilišni/a prvostupnik/ prvostupnica (baccalaureus/baccalaurea) inženjer/inženjerka računarstva (sveučilišni/a prvostupnik/ prvostupnica (baccalaureus/baccalaurea) inženjer/inženjerka računarstva)
Type of resourceText
File originBorn digital
Access conditionsClosed access
Terms of useLicence In copyright icon
Public note
Created on2024-10-12 21:21:25