Zobrazeno 1 - 10
of 30 613
pro vyhledávání: '"Security protocol"'
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:
SZYMONIAK, Sabina1 sabina.szymoniak@icis.pcz.pl
Publikováno v:
Bulletin of the Polish Academy of Sciences: Technical Sciences. Sep2024, Vol. 72 Issue 5, p1-9. 9p.
Autor:
Blanchet, Bruno
This document presents the security protocol verifier CryptoVerif.CryptoVerif does not rely on the symbolic, Dolev-Yao model, but on the computational model. It can verify secrecy, correspondence (which include authentication), and indistinguishabili
Externí odkaz:
http://arxiv.org/abs/2310.14658
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.
Efforts to secure computing systems via software traditionally focus on the operating system and application levels. In contrast, the Security Protocol and Data Model (SPDM) tackles firmware level security challenges, which are much harder (if at all
Externí odkaz:
http://arxiv.org/abs/2307.06456
Publikováno v:
In Computers & Security February 2025 149
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.
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.