No public access
undergraduate thesis
DOLEV-YAO INTRUDER MODEL

Bojan Ostić (2016)
Sveučilište u Rijeci
Odjel za matematiku
Metadata
TitleDolev-Yao model napadača
AuthorBojan Ostić
Mentor(s)Tajana Ban Kirigin (thesis advisor)
Abstract
U ovom radu opisat ćemo sigurnosne protokole i Dolev-Yao model napadača. Objasnit ćemo pojam enkripcije i navesti dvije vrste enkripcije. Pokazat ćemo da je neformalan zapis protokola manjkav te uvesti precizniji zapis pomoću transformacija multiskupova (MSR). Uvest ćemo napadača na protokol i sva njegova svojstva u Dolev-Yao modelu. Kategorizirat ćemo neke vrste napada te pokazati napad na dva različita protokola. Za jedan od ta dva protokola ćemo prezentirati MSR zapis te ćemo demonstrirati napad na njega pomoću tog zapisa.
Parallel title (English)DOLEV-YAO INTRUDER MODEL
Committee MembersAna Jurasić (committee chairperson)
Tajana Ban Kirigin (committee member)
Marija Maksimović (committee member)
GranterSveučilište u Rijeci
Lower level organizational unitsOdjel za matematiku
PlaceRijeka
StateCroatia
Scientific field, discipline, subdisciplineNATURAL SCIENCES
Mathematics
Study programme typeuniversity
Study levelundergraduate
Study programmeMathematics
Academic title abbreviationuniv. bacc. math.
Genreundergraduate thesis
Language Croatian
Defense date2016-07-15
Parallel keywords (Croatian)Sigurnosni protokol Dolev-Yao model napadača enkripcija transformacija multiskupova napadač
Resource typetext
Access conditionNo public access
URN:NBNhttps://urn.nsk.hr/urn:nbn:hr:196:328845
CommitterLea Lazzarich