Skip to Main content Skip to Navigation
Conference papers

Enhanced Security and Efficiency for Authenticated Key Agreement

Abstract : The Canetti–Krawczyk (CK) and extended Canetti–Krawczyk (eCK) security mod- els, are widely used to provide security arguments for key agreement protocols. We dis- cuss security shades in the (e)CK models, which make some practical attacks unconsi- dered in security arguments. We propose a strong security model which encompasses 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 particu- larly 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 assump- tion and the Random Oracle model.
Document type :
Conference papers
Complete list of metadatas

Cited literature [33 references]  Display  Hide  Download
Contributor : Jean Claude Bajard <>
Submitted on : Friday, January 2, 2015 - 1:52:34 PM
Last modification on : Wednesday, November 4, 2020 - 2:46:21 PM
Long-term archiving on: : Friday, September 11, 2015 - 12:05:17 AM


Files produced by the author(s)


  • HAL Id : hal-01099282, version 1


Augustin Sarr, Philippe Elbaz-Vincent, Jean-Claude Bajard. Enhanced Security and Efficiency for Authenticated Key Agreement. Workshop on Foundations of Security and Privacy, FCS-PrivMod 2010,, Jul 2010, Edinburgh, United Kingdom. ⟨hal-01099282⟩



Record views


Files downloads