Zobrazeno 1 - 10
of 65
pro vyhledávání: '"Petridou, Sophia"'
Publikováno v:
In Simulation Modelling Practice and Theory December 2022 121
Publikováno v:
In Future Generation Computer Systems December 2021 125:698-714
Publikováno v:
In Computers & Security May 2021 104
Publikováno v:
In Computers & Security June 2019 83:22-37
Formal analysis techniques are widely used today in order to verify and analyze communication protocols. In this work, we launch a quantitative verification analysis for the low- cost Radio Frequency Identification (RFID) protocol proposed by Song an
Externí odkaz:
http://arxiv.org/abs/1112.1086
Publikováno v:
In Computers & Security July 2016 60:1-14
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Koutsonikola, Vassiliki A., Petridou, Sophia G., Vakali, Athena I., Papadimitriou, Georgios I.
Publikováno v:
International Journal of Web Information Systems, 2009, Vol. 5, Issue 3, pp. 348-371.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/17440080910983583
Autor:
Petridou, Sophia G., Sarigiannidis, Panagiotis G., Papadimitriou, Georgios I., Pomportsis, Andreas S.
Publikováno v:
In Optics and Laser Technology 2009 41(1):42-52
Autor:
Rapti, Matina1 (AUTHOR) mrapti@uom.edu.gr, Tsakalidis, George1,2 (AUTHOR) giorgos.tsakalidis@uom.edu.gr, Petridou, Sophia1 (AUTHOR) spetrido@uom.edu.gr, Vergidis, Kostas1 (AUTHOR) kvergidis@uom.edu.gr
Publikováno v:
Information (2078-2489). Jul2022, Vol. 13 Issue 7, p306-306. 16p.