Zobrazeno 1 - 10
of 100
pro vyhledávání: '"Luccio, Flaminia"'
Techniques for verifying or invalidating the security of computer systems have come a long way in recent years. Extremely sophisticated tools are available to specify and formally verify the behavior of a system and, at the same time, attack techniqu
Externí odkaz:
http://arxiv.org/abs/2404.09518
Autor:
Focardi, Riccardo, Luccio, Flaminia L.
Hardware Security Modules (HSMs) are trusted machines that perform sensitive operations in critical ecosystems. They are usually required by law in financial and government digital services. The most important feature of an HSM is its ability to stor
Externí odkaz:
http://arxiv.org/abs/2109.13631
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.
We examine the problem of rendezvous, i.e., having multiple mobile agents gather in a single node of the network. Unlike previous studies, we need to achieve rendezvous in presence of a very powerful adversary, a malicious agent that moves through th
Externí odkaz:
http://arxiv.org/abs/1410.4772
Publikováno v:
In Journal of Information Security and Applications October 2019 48
Publikováno v:
ProQuest Full Text.
Thesis (M.C.S.)--Carleton University, 1995.
Also available in electronic format on the Internet.
Also available in electronic format on the Internet.
Externí odkaz:
http://proxy.library.carleton.ca/login?url=http://wwwlib.umi.com/cr/carleton/fullcit?pMM03005
Publikováno v:
Proceedings of the 8th International Conference on Information Systems Security and Privacy.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3ad65ddfc9ea190d9fc883ce30f4f917
https://doi.org/10.5220/0010904300003120
https://doi.org/10.5220/0010904300003120