A New Security Model for Authenticated Key Agreement - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

A New Security Model for Authenticated Key Agreement

Augustin Sarr
  • Fonction : Auteur
  • PersonId : 867693
Philippe Elbaz-Vincent

Résumé

The Canetti–Krawczyk (CK) and extended Canetti–Krawczyk (eCK) security mo-dels, are widely used to provide security arguments for key agreement protocols. We discuss security shades in the (e)CK models, and some practical attacks unconsi-dered in (e)CK–security arguments. We propose a strong security model which en-compasses the eCK one. We also propose a new protocol, called Strengthened MQV (SMQV), which in addition to provide the same efficiency as the (H)MQV protocols, is particularly suited for distributed implementations wherein a tamper–proof device is used to store long–lived keys, while session keys are used on an untrusted host machine. The SMQV protocol meets our security definition under the Gap Diffie– Hellman assumption and the Random Oracle model.
Fichier principal
Vignette du fichier
237.pdf (351.82 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01099279 , version 1 (02-01-2015)

Identifiants

Citer

Augustin Sarr, Philippe Elbaz-Vincent, Jean-Claude Bajard. A New Security Model for Authenticated Key Agreement. Seventh Conference on Security and Cryptography for Networks (SNC), Sep 2010, Amalfi, Italy. pp.219 - 234, ⟨10.1007/978-3-642-15317-4_15⟩. ⟨hal-01099279⟩
107 Consultations
356 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More