Forward Secure Non-Interactive Key Exchange

David Pointcheval 1, 2, 3 Olivier Sanders 1, 2, 3, 4
2 CASCADE - Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities
DI-ENS - Département d'informatique de l'École normale supérieure, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548
Abstract : Exposure of secret keys is a major concern when cryptographic protocols are implemented on weakly secure devices. Forward security is thus a way to mitigate damages when such an event occurs. In a forward-secure scheme, the public key is indeed fixed while the secret key is updated with a one-way process at regular time periods so that security of the scheme is ensured for any period prior to the exposure, since previous secret keys cannot be recovered from the corrupted one. Efficient constructions have been proposed for digital signatures or public-key encryption schemes, but none for non-interactive key exchange protocols, while the non-interactivity makes them quite vulnerable since the public information cannot evolve from an execution to another one.In this paper we present a forward-secure non-interactive key exchange scheme with sub-linear complexity in the number of time periods. Our protocol is described using generic leveled multilinear maps, but we show that it is compatible with the recently introduced candidates for such maps. We also discuss various security models for this primitive and prove that our scheme fulfills them, under standard assumptions.
Type de document :
Communication dans un congrès
Michel Abdalla; Roberto De Prisco. SCN '14, Sep 2014, Amalfi, Italy. Springer, LNCS (8642), pp.21-39, 2014, Proceedings of the 9th Conference on Security in Communication Networks (SCN '14). 〈http://link.springer.com/book/10.1007/978-3-319-10879-7〉. 〈10.1007/978-3-319-10879-7_2〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01089001
Contributeur : David Pointcheval <>
Soumis le : samedi 29 novembre 2014 - 23:01:29
Dernière modification le : vendredi 25 mai 2018 - 12:02:05

Lien texte intégral

Identifiants

Collections

Citation

David Pointcheval, Olivier Sanders. Forward Secure Non-Interactive Key Exchange. Michel Abdalla; Roberto De Prisco. SCN '14, Sep 2014, Amalfi, Italy. Springer, LNCS (8642), pp.21-39, 2014, Proceedings of the 9th Conference on Security in Communication Networks (SCN '14). 〈http://link.springer.com/book/10.1007/978-3-319-10879-7〉. 〈10.1007/978-3-319-10879-7_2〉. 〈hal-01089001〉

Partager

Métriques

Consultations de la notice

319