### One-round Strongly Secure Key Exchange with Perfect Forward Secrecy and Deniability

Cas Cremers and Michele Feltz

##### Abstract

Traditionally, secure one-round key exchange protocols in the PKI setting have either achieved perfect forward secrecy, or forms of deniability, but not both. On the one hand, achieving perfect forward secrecy against active attackers seems to require some form of authentication of the messages, as in signed Diffie-Hellman style protocols, that subsequently sacrifice deniability. On the other hand, using implicit authentication along the lines of MQV and descendants sacrifices perfect forward secrecy in one round and achieves only weak perfect forward secrecy instead. We show that by reintroducing signatures, it is possible to satisfy both a very strong key-exchange security notion, which we call eCK-PFS, as well as a strong form of deniability, in one-round key exchange protocols. Our security notion for key exchange is stronger than, e.g., the extended-CK model, and captures perfect forward secrecy. Our notion of deniability, which we call peer-and-time deniability, is stronger than that offered by, e.g., the SIGMA protocol. We propose a concrete protocol and prove that it satisfies our definition of key-exchange security in the random oracle model as well as peer-and-time deniability. The protocol combines a signed-Diffie-Hellman message exchange with an MQV-style key computation, and offers a remarkable combination of advanced security properties.

Available format(s)
Category
Cryptographic protocols
Publication info
Published elsewhere. Unknown where it was published
Keywords
Key ExchangePerfect Forward SecrecyDeniabilityPKI
Contact author(s)
cas cremers @ inf ethz ch
History
2011-10-26: last of 2 revisions
See all versions
Short URL
https://ia.cr/2011/300

CC BY

BibTeX

@misc{cryptoeprint:2011/300,
author = {Cas Cremers and Michele Feltz},
title = {One-round Strongly Secure Key Exchange with Perfect Forward Secrecy and Deniability},
howpublished = {Cryptology ePrint Archive, Paper 2011/300},
year = {2011},
note = {\url{https://eprint.iacr.org/2011/300}},
url = {https://eprint.iacr.org/2011/300}
}

Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.