TY - GEN
T1 - Security analysis of IKE’s signature-based key-exchange protocol
AU - Canetti, Ran
AU - Krawczyk, Hugo
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2002.
PY - 2002
Y1 - 2002
N2 - We present a security analysis of the Diffie-Hellman keyexchange protocol authenticated with digital signatures used by the Internet Key Exchange (IKE) standard. The analysis is based on an adaptation of the key-exchange model from [Canetti and Krawczyk, Eurocrypt’ 01] to the setting where peers identities are not necessarily known or disclosed from the start of the protocol. This is a common practical setting, including the case of IKE and other protocols that provide confidentiality of identities over the network. The formal study of this “post-specified peer” model is a further contribution of this paper.
AB - We present a security analysis of the Diffie-Hellman keyexchange protocol authenticated with digital signatures used by the Internet Key Exchange (IKE) standard. The analysis is based on an adaptation of the key-exchange model from [Canetti and Krawczyk, Eurocrypt’ 01] to the setting where peers identities are not necessarily known or disclosed from the start of the protocol. This is a common practical setting, including the case of IKE and other protocols that provide confidentiality of identities over the network. The formal study of this “post-specified peer” model is a further contribution of this paper.
UR - http://www.scopus.com/inward/record.url?scp=84869635960&partnerID=8YFLogxK
U2 - 10.1007/3-540-45708-9_10
DO - 10.1007/3-540-45708-9_10
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:84869635960
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 143
EP - 161
BT - Advances in Cryptology - CRYPTO 2002 - 22nd Annual International Cryptology Conference, Proceedings
A2 - Yung, Moti
PB - Springer Verlag
T2 - 22nd Annual International Cryptology Conference, CRYPTO 2002
Y2 - 18 August 2002 through 22 August 2002
ER -