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

Bojan Ostić (2016)
Sveučilište u Rijeci
Odjel za matematiku