[Resource Topic] 2002/120: Security Analysis of IKE's Signature-based Key-Exchange Protocol

Welcome to the resource topic for 2002/120

Title:
Security Analysis of IKE’s Signature-based Key-Exchange Protocol

Authors: Ran Canetti, Hugo Krawczyk

Abstract:

We present a security analysis of the Diffie-Hellman
key-exchange protocols authenticated with digital signatures
used by the Internet Key Exchange (IKE) standard, and of the more
comprehensive SIGMA family of key exchange protocols.
The analysis is based on an adaptation of the key-exchange security
model from [Canetti and Krawczyk, Eurocrypt’01] to the setting
where peer identities are not necessarily known or disclosed
from the start of the protocol. This is a common practical setting,
which includes the case of IKE and other protocols that provide
confidentiality of identities over the network. The rigorous study
of this ``post-specified peer" model is a further contribution of
this paper.

ePrint: https://eprint.iacr.org/2002/120

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .