prikaz prve stranice dokumenta Automatizirana analiza protokola za razmjenu ključeva pomoću alata Tamarin prover
Rad nije dostupan
završni rad
Automatizirana analiza protokola za razmjenu ključeva pomoću alata Tamarin prover

Inkret, Ivan
Sveučilište u Zagrebu
Fakultet elektrotehnike i računarstva

Citirajte ovaj rad

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: 05.03.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 05.03.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

Prijavite se u repozitorij kako biste mogli spremiti objekt u svoju listu.