Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Klaas Ole Kürtz"'
Publikováno v:
AsiaCCS
We prove secure a concrete and practical two-round authenticated message exchange protocol which reflects the authentication mechanisms for web services discussed in various standardization documents. The protocol consists of a single client request
Publikováno v:
Advances in Computer Science-ASIAN 2009. Information Security and Privacy ISBN: 9783642106217
ASIAN
ASIAN
Simulation-based security notions for cryptographic protocols are regarded as highly desirable, primarily because they admit strong composability and, consequently, a modular design. In this paper, we give a simulation-based security definition for t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::495339eff9a5198528d2ad71f91c2083
https://doi.org/10.1007/978-3-642-10622-4_9
https://doi.org/10.1007/978-3-642-10622-4_9
Publikováno v:
FMSE
Truderung's selecting theory model is one of the few models of cryptographic protocols which allows to model iterative (recursive) computations of principals and, at the same time, an automatic analysis in the following sense: there exists a procedur