prikaz prve stranice dokumenta Automatizirana analiza protokola za razmjenu ključeva pomoću alata Tamarin prover
No public access
undergraduate thesis
Automatizirana analiza protokola za razmjenu ključeva pomoću alata Tamarin prover
Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing, 2023. urn:nbn:hr:168:999136
Inkret, Ivan
University of Zagreb
Faculty of Electrical Engineering and Computing

Institutional repository: FER Repository

Cite this document

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

Inkret, Ivan. "Automatizirana analiza protokola za razmjenu ključeva pomoću alata Tamarin prover." Undergraduate thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, 2023. https://urn.nsk.hr/urn:nbn:hr:168:999136

Inkret, Ivan. "Automatizirana analiza protokola za razmjenu ključeva pomoću alata Tamarin prover." Undergraduate thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, 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', Undergraduate thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, accessed 28 December 2024, https://urn.nsk.hr/urn:nbn:hr:168:999136

Inkret I. Automatizirana analiza protokola za razmjenu ključeva pomoću alata Tamarin prover [Undergraduate thesis]. Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing; 2023 [cited 2024 December 28] Available at: https://urn.nsk.hr/urn:nbn:hr:168:999136

I. Inkret, "Automatizirana analiza protokola za razmjenu ključeva pomoću alata Tamarin prover", Undergraduate thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, Zagreb, 2023. Available at: https://urn.nsk.hr/urn:nbn:hr:168:999136

Metadata
TitleAutomatizirana analiza protokola za razmjenu ključeva pomoću alata Tamarin prover
Title (english)Automated analysis of key exchange protocols using the Tamarin prover tool
AuthorIvan Inkret
MentorAnte Đerek (mentor)
Committee memberAnte Đerek (predsjednik povjerenstva)
Committee memberPetar Paradžik (član povjerenstva)
Committee memberLaura Majer (član povjerenstva)
GranterUniversity of Zagreb
Faculty of Electrical Engineering and Computing
Zagreb
Defense date and country2023-07-04, Croatia
Scientific / art field,
discipline and subdiscipline		TECHNICAL SCIENCES
Computing
Abstract
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.
Abstract (english)
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.
Keywords
Keywords (english)
Languagecroatian
URN:NBNurn:nbn:hr:168:999136
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 on2023-10-11 09:05:03