Session-StateReveal is stronger than eCKs EphemeralKeyReveal: using automatic analysis to attack the NAXOS protocol (Q2430140): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Revision as of 07:09, 5 March 2024
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
