prikaz prve stranice dokumenta Automatizirana analiza protokola za razmjenu ključeva pomoću alata Tamarin prover
No public access
undergraduate thesis
Automatizirana analiza protokola za razmjenu ključeva pomoću alata Tamarin prover

Inkret, Ivan
University of Zagreb
Faculty of Electrical Engineering and Computing

Cite this document

Inkret, I. (2023). Automatizirana analiza protokola za razmjenu ključeva pomoću alata Tamarin prover (Undergraduate thesis). Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing. Retrieved from https://urn.nsk.hr/urn:nbn:hr:168:999136

Inkret, Ivan. "Automatizirana analiza protokola za razmjenu ključeva pomoću alata Tamarin prover." Undergraduate thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, 2023. https://urn.nsk.hr/urn:nbn:hr:168:999136

Inkret, Ivan. "Automatizirana analiza protokola za razmjenu ključeva pomoću alata Tamarin prover." Undergraduate thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, 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', Undergraduate thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, accessed 22 October 2024, https://urn.nsk.hr/urn:nbn:hr:168:999136

Inkret I. Automatizirana analiza protokola za razmjenu ključeva pomoću alata Tamarin prover [Undergraduate thesis]. Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing; 2023 [cited 2024 October 22] Available at: https://urn.nsk.hr/urn:nbn:hr:168:999136

I. Inkret, "Automatizirana analiza protokola za razmjenu ključeva pomoću alata Tamarin prover", Undergraduate thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, Zagreb, 2023. Available at: https://urn.nsk.hr/urn:nbn:hr:168:999136

Please login to the repository to save this object to your list.