Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Analysis of security protocols"'
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.
Publikováno v:
ACM Transactions on Programming Languages and Systems. 37:1-66
Recent research has shown that it is possible to leverage general-purpose theorem-proving techniques to develop powerful type systems for the verification of a wide range of security properties on application code. Although successful in many respect
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::167081c595324aea46c2e022eaac380e
https://doi.org/10.1145/2743018
https://doi.org/10.1145/2743018
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:
Steve Kremer, Mark Ryan
Publikováno v:
Electronic Notes in Theoretical Computer Science. (5):87-104
In this paper we report on an analysis for finding known-pair and chosen-text attacks in protocols. As these attacks are at the level of blocks, we extend the attacker by special capabilities related to block chaining techniques. The analysis is auto
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c026e7547b43f1d8b73da5698389dcc6
Kniha
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.
Conference
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.