Universally Composable Key-Management

Steve Kremer 1 Robert Künnemann 2 Graham Steel 2
1 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : We present the first universally composable key-management functionality, formalized in the GNUC framework by Hofheinz and Shoup. It allows the enforcement of a wide range of security policies and can be extended by diverse key usage operations with no need to repeat the security proof.We illustrate its use by proving an implementation of a security token secure with respect to arbitrary key-usage operations and explore a proof technique that allows the storage of cryptographic keys externally, a novel development in simulation-based security frameworks.
Type de document :
Communication dans un congrès
Crampton, Jason and Jajodia, Sushil. 18th European Symposium on Research in Computer Security (ESORICS'13), 2013, Egham, United Kingdom. Springer, 8134, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-40203-6_19〉
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00878632
Contributeur : Steve Kremer <>
Soumis le : mercredi 7 octobre 2015 - 16:36:20
Dernière modification le : jeudi 11 janvier 2018 - 01:58:30
Document(s) archivé(s) le : vendredi 8 janvier 2016 - 10:45:32

Fichier

KKS-esorics13.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Steve Kremer, Robert Künnemann, Graham Steel. Universally Composable Key-Management. Crampton, Jason and Jajodia, Sushil. 18th European Symposium on Research in Computer Security (ESORICS'13), 2013, Egham, United Kingdom. Springer, 8134, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-40203-6_19〉. 〈hal-00878632〉

Partager

Métriques

Consultations de la notice

249

Téléchargements de fichiers

46