Session-StateReveal is stronger than eCKs EphemeralKeyReveal: using automatic analysis to attack the NAXOS protocol (Q2430140): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1504/ijact.2010.038304 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2010910824 / rank | |||
Normal rank | |||
Latest revision as of 10:15, 30 July 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
