International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Formal Proof of Relative Strengths of Security between ECK2007 Model and other Proof Models for Key Agreement Protocols

Authors:
Jinyue Xia
Jiandong Wang
Liming Fang
Yongjun Ren
Shizhu Bian
Download:
URL: http://eprint.iacr.org/2008/479
Search ePrint
Search Google
Abstract: In 2005, Choo, Boyd & Hitchcock compared four well-known indistinguishability-based proof models for key agreement protocols, which contains the Bellare & Rogaway (1993, 1995) model, the Bellare , Pointcheval & Rogaway 2000 model and the Canetti & Krawczyk (2001) model. After that, researchers from Microsoft presented a stronger security model, called Extended Canetti-Krawczyk model (2007). In this paper, we will point out the differences between the new proof model and the four previous models, and analyze the relative strengths of security of these models. To support the implication or non-implication relation between these models, we will provide proof or counter-example.
BibTeX
@misc{eprint-2008-18068,
  title={Formal Proof of Relative Strengths of Security between ECK2007 Model and other Proof Models for Key Agreement Protocols},
  booktitle={IACR Eprint archive},
  keywords={cryptography, key agreement protocol, proof model},
  url={http://eprint.iacr.org/2008/479},
  note={ xiajinyue@yahoo.com.cn 14205 received 13 Nov 2008, last revised 21 Nov 2008},
  author={Jinyue Xia and Jiandong Wang and Liming Fang and Yongjun Ren and Shizhu Bian},
  year=2008
}