Rad nije dostupan
završni rad
Dolev-Yao model napadača

Bojan Ostić (2016)
Sveučilište u Rijeci
Odjel za matematiku
Podaci o radu
NaslovDolev-Yao model napadača
AutorBojan Ostić
Voditelj/MentorTajana Ban Kirigin (mentor)
Sažetak rada
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.
Ključne riječiSigurnosni protokol Dolev-Yao model napadača enkripcija transformacija multiskupova napadač
Naslov na drugom jeziku (engleski)DOLEV-YAO INTRUDER MODEL
Povjerenstvo za obranuAna Jurasić (predsjednik povjerenstva)
Tajana Ban Kirigin (član povjerenstva)
Marija Maksimović (član povjerenstva)
Ustanova koja je dodijelila akademski/stručni stupanjSveučilište u Rijeci
Ustrojstvena jedinica niže razineOdjel za matematiku
MjestoRijeka
Država obraneHrvatska
Znanstveno područje, polje, granaPRIRODNE ZNANOSTI
Matematika
Vrsta studijasveučilišni
Stupanjpreddiplomski
Naziv studijskog programaMatematika
Akademski / stručni nazivsveučilišni/a prvostupnik/prvostupnica (baccalaureus/baccalaurea) matematike
Kratica akademskog / stručnog nazivauniv. bacc. math.
Vrsta radazavršni rad
Jezik hrvatski
Datum obrane2016-07-15
Vrsta resursatekst
Prava pristupaRad nije dostupan
URN:NBNhttps://urn.nsk.hr/urn:nbn:hr:196:328845
PohranioLea Lazzarich