Session-StateReveal is stronger than eCKs EphemeralKeyReveal: using automatic analysis to attack the NAXOS protocol (Q2430140)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Session-StateReveal is stronger than eCKs EphemeralKeyReveal: using automatic analysis to attack the NAXOS protocol |
scientific article |
Statements
Session-StateReveal is stronger than eCKs EphemeralKeyReveal: using automatic analysis to attack the NAXOS protocol (English)
0 references
5 April 2011
0 references
The author submits a new security model for authenticated key exchange protocols, which is shown to be stronger than previous models. In particular, the investigation in this paper disproves several claims made in the literature.
0 references
provable security
0 references
authenticated key exchange
0 references
AKE
0 references
session state reveal
0 references
ephemeral key reveal
0 references
automatic analysis
0 references
tools
0 references
eCK
0 references
CK
0 references
NAXOS
0 references
