International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Bilateral Unknown Key-Share Attacks in Key Agreement Protocols

Authors:
Liqun Chen
Qiang Tang
Download:
URL: http://eprint.iacr.org/2007/209
Search ePrint
Search Google
Abstract: Unknown Key-Share (UKS) resilience is a basic security attribute in authenticated key agreement protocols, whereby two entities A and B should not be able to be coerced into sharing a key between them when in fact either A or B thinks that s/he is sharing the key with another entity C. In this paper we revisit some definitions of this attribute, the existing UKS attacks and the method of proving this attribute in the Bellare-Rogaway (BR) model in the literature. We propose a new UKS attack, which coerces two entities A and B into sharing a key with each other but in fact A thinks that she is sharing the key with another entity C and B thinks that he is sharing the key with another entity D, where C and D might or might not be the same entity. We call this attack a Bilateral Unknown Key-Share(BUKS) attack and refer to the existing UKS attacks, which are against one entity only, as a Unilateral UKS (UUKS) attack. We demonstrate that a few well-known authenticated key agreement protocols, some of which have been proved holding the UUKS resilience property, are vulnerable to the BUKS attack. We then explore a gap between the traditional BR-type proof of UUKS resilience and a BUKS adversary's behaviour, and extend the BR model to cover the BUKS resilience attribute. Finally we provide a simple countermeasure to prevent a key agreement protocol from BUKS attacks.
BibTeX
@misc{eprint-2007-13490,
  title={Bilateral Unknown Key-Share Attacks in Key Agreement Protocols},
  booktitle={IACR Eprint archive},
  keywords={cryptographic protocols / authenticated key agreement, bilateral unknown key-share resilience},
  url={http://eprint.iacr.org/2007/209},
  note={ liqun.chen@hp.com 13665 received 1 Jun 2007},
  author={Liqun Chen and Qiang Tang},
  year=2007
}