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