Paper 2010/042
A modified eCK model with stronger security for tripartite authenticated key exchange
Qingfeng Cheng, Chuangui Ma, and Fushan Wei
Abstract
Since Bellare and Rogaway presented the first formal security model for authenticated key exchange (AKE) protocols in 1993, many formal security models have been proposed. The extended Canetti-Krawczyk (eCK) model proposed by LaMacchia et al. is currently regarded as the strongest security model for two-party AKE protocols. In this paper, we first generalize the eCK model for tripartite AKE protocols, called teCK model, and enhance the security of the new model by adding a new reveal query. In the teCK model, the adversary has stronger powers, and can learn more secret information. Then we present a new tripartite AKE protocol based on the NAXOS protocol, called T-NAXOS protocol, and analyze its security in the teCK model under the random oracle assumption.
Metadata
- Available format(s)
-
PDF
- Publication info
- Published elsewhere. Unknown where it was published
- Keywords
- eCK modelteCK modelauthenticated key exchangeGDH assumptionrandom oracle assumption
- Contact author(s)
- qingfengc2008 @ sina com
- History
- 2010-01-29: revised
- 2010-01-29: received
- See all versions
- Short URL
- https://ia.cr/2010/042
- License
-
CC BY
BibTeX
@misc{cryptoeprint:2010/042,
author = {Qingfeng Cheng and Chuangui Ma and Fushan Wei},
title = {A modified {eCK} model with stronger security for tripartite authenticated key exchange},
howpublished = {Cryptology {ePrint} Archive, Paper 2010/042},
year = {2010},
url = {https://eprint.iacr.org/2010/042}
}
