CryptoDB
A modified eCK model with stronger security for tripartite authenticated key exchange
Authors: | |
---|---|
Download: | |
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. |
BibTeX
@misc{eprint-2010-22943, title={A modified eCK model with stronger security for tripartite authenticated key exchange}, booktitle={IACR Eprint archive}, keywords={eCK model; teCK model; authenticated key exchange; GDH assumption; random oracle assumption}, url={http://eprint.iacr.org/2010/042}, note={ qingfengc2008@sina.com 14638 received 28 Jan 2010, last revised 29 Jan 2010}, author={Qingfeng Cheng and Chuangui Ma and Fushan Wei}, year=2010 }