Inkret, I. (2023). Automatizirana analiza protokola za razmjenu ključeva pomoću alata Tamarin prover (Završni rad). Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva. Preuzeto s https://urn.nsk.hr/urn:nbn:hr:168:999136
Inkret, Ivan. "Automatizirana analiza protokola za razmjenu ključeva pomoću alata Tamarin prover." Završni rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2023. https://urn.nsk.hr/urn:nbn:hr:168:999136
Inkret, Ivan. "Automatizirana analiza protokola za razmjenu ključeva pomoću alata Tamarin prover." Završni rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 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', Završni rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, citirano: 25.08.2024., https://urn.nsk.hr/urn:nbn:hr:168:999136
Inkret I. Automatizirana analiza protokola za razmjenu ključeva pomoću alata Tamarin prover [Završni rad]. Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva; 2023 [pristupljeno 25.08.2024.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:168:999136
I. Inkret, "Automatizirana analiza protokola za razmjenu ključeva pomoću alata Tamarin prover", Završni rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, Zagreb, 2023. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:168:999136