Pregled po CROSBI profilu: Tajana Ban Kirigin (CROSBI Profil: 17055, MBZ: 229313)
Pronađeno 59 radova
-
26.Resource-Bounded Intruders in Denial of Service Attacks // 2019 IEEE 32nd Computer Security Foundations Symposium (CSF) / Delaune, S. ; Jia, L. (ur.).
Hoboken (NJ), Sjedinjene Američke Države: Institute of Electrical and Electronics Engineers (IEEE), 2019. str. 382-396 doi:10.1109/CSF.2019.00033 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
27.A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols // Foundations of Security, Protocols, and Equational Reasoning. Lecture Notes in Computer Science, vol 11565 / Guttman, Joshua D. ; Landwehr, Carl E. ; Meseguer, José ; Pavlovic, Dusko (ur.).
Fredericksburg (VA), Sjedinjene Američke Države: Springer, 2019. str. 192-213 doi:10.1007/978-3-030-19052-1_13 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
28.Corpus-based approach to the extraction of the emotional concepts and their ontological relations using the natural language logic operators // Book of Abstracts
Dubrovnik, Hrvatska, 2018. str. 57-58 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
29.Statistical Model Checking in the Analysis of Distance- bounding Protocols // Book of Abstracts
Dubrovnik, Hrvatska, 2018. str. 24-26 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
30.Statistical Model Checking of Distance Fraud Attacks on the Hancke-Kuhn Family of Protocols // Proceedings of the 2018 Workshop on Cyber-Physical Systems Security and PrivaCy, CPS-SPC '18
New York (NY): ACM Digital Library, 2018. str. 60-71 doi:10.1145/3264888.3264895 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
31.Statistical Model Checking of Guessing and Timing Attacks on Distance-bounding Protocols // Workshop on Foundations of Computer Security 2018
Oxford, Ujedinjeno Kraljevstvo, 2018. (predavanje, međunarodna recenzija, neobjavljeni rad, znanstveni) -
32.Dense Time Multiset Rewriting Model in the Verification of Time-Sensitive Distributed Systems // Book of Abstracts
Dubrovnik, Hrvatska, 2017. str. 25-26 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
33.Time, Computational Complexity, and Probability in the Analysis of Distance-Bounding Protocols // Journal of Computer Security, 25 (2017), 6; 585-630 doi:10.3233/JCS-0560 (međunarodna recenzija, članak, znanstveni)
-
34.Formalizing an Ontological Model of Lexical Concepts and Constructions for Emotion Domain // 8th International Conference on Information Technologies and Information Society (ITIS2016)
Šmarješke toplice, Slovenija, 2016. str. - (predavanje, međunarodna recenzija, neobjavljeni rad, znanstveni) -
35.Can we mitigate the attacks on Distance-Bounding Protocols by using challenge- response rounds repeatedly ? // Book of Abstracts
Dubrovnik, Hrvatska, 2016. str. 32-33 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
36.Timed Multiset Rewriting and the Verification of Time- Sensitive Distributed Systems // Book of Abstracts
Dubrovnik, Hrvatska, 2016. str. 30-31 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
37.Timed Multiset Rewriting and the Verification of Time- Sensitive Distributed Systems // Formal Modeling and Analysis of Timed Systems. FORMATS 2016. Lecture Notes in Computer Science, vol 9884. / Fränzle, Martin ; Markey, Nicolas (ur.).
Cham: Springer, 2016. str. 228-244 doi:10.1007/978-3-319-44878-7_14 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
38.Can we mitigate the attacks on Distance- Bounding Protocols by using challenge-response rounds repeatedly ? // Workshop on Foundations of Computer Security 2016
Lisabon, Portugal, 2016. (predavanje, međunarodna recenzija, neobjavljeni rad, znanstveni) -
39.A Rewriting Framework and Logic for Activities Subject to Regulations // 4th international conference "Logic and Applications" : book of abstracts / Šikić, Zvonimir ; Scedrov, Andre ; Ghilezan, Silvia ; Ognjanović, Zoran (ur.).
Dubrovnik, Hrvatska: Central European Initiative, 2015. str. 32-33 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
40.Towards a Formal Model of Language Networks // Information and Software Technologies / Dregvaite, Giedre and Damasevicius, Robertas (ur.).
Druskininkai, Litva: Springer, 2015. str. 469-479 doi:10.1007/978-3-319-24770-0_40 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
41.Discrete vs. Dense Times in the Analysis of Cyber- Physical Security Protocols // Book of Abstracts
Dubrovnik, Hrvatska, 2015. str. 31-31 (predavanje, međunarodna recenzija, sažetak, ostalo) -
42.A rewriting framework and logic for activities subject to regulations // Mathematical structures in computer science, 27 (2015), 3; 332-375 doi:10.1017/S096012951500016X (međunarodna recenzija, članak, znanstveni)
-
43.Discrete vs. Dense Times in the Analysis of Cyber- Physical Security Protocols // LNCS, Volume 9036 / Focardi, Riccardo ; Myers, Andrew (ur.).
London, Ujedinjeno Kraljevstvo: Springer, 2015. str. 259-279 doi:10.1007/978-3-662-46666-7_14 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
44.Time-Bounding Needham-Schroeder Public Key Exchange Protocol // Logic and Applications 2014, Book of Abstracts
Dubrovnik, Hrvatska, 2014. str. 15-16 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
45.Towards Timed Models for Cyber-Physical Security Protocols // Joint Workshop on Foundations of Computer Security and Formal and Computational Cryptography
Beč, Austrija, 2014. (predavanje, međunarodna recenzija, neobjavljeni rad, znanstveni) -
46.Progressing Collaborative Systems // Advances in Computer Science : an International Journal, 3 (2014), 3; 78-86 (međunarodna recenzija, članak, znanstveni)
-
47.Bounded Memory Protocols // Computer languages systems & structures, 40 (2014), 3/4; 137-154 doi:10.1016/j.cl.2014.05.003 (međunarodna recenzija, članak, znanstveni)
-
48.Bounded memory Dolev-Yao adversaries in collaborative systems // Information and computation, Special issue on Security and Rewriting Techniques, 238 (2014), 233-261 doi:10.1016/j.ic.2014.07.011 (međunarodna recenzija, članak, znanstveni)
-
49.Bounded Memory Protocols and Progressing Collaborative Systems // FCS'13 Workshop on Foundations of Computer Security
New Orleans (LA), Sjedinjene Američke Države, 2013. (predavanje, međunarodna recenzija, neobjavljeni rad, znanstveni) -
50.Bounded Memory Protocols and Progressing Collaborative Systems // Lecture Notes in Computer Science, Volume 8134 / Crampton, Jason ; Jajodia, Sushil ; Mayes, Keith (ur.).
Egham, Ujedinjeno Kraljevstvo: Springer, 2013. str. 309-326 doi:10.1007/978-3-642-40203-6_18 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
