Security for Key Management Interfaces

Steve Kremer 1, 2 Graham Steel 1, 2 Bogdan Warinschi 3
1 SECSI - Security of information systems
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
Abstract : We propose a much-needed formal definition of security for cryptographic key management APIs. The advantages of our definition are that it is general, intuitive, and applicable to security proofs in both symbolic and computational models of cryptography. Our definition relies on an idealized API which allows only the most essential functions for generating, exporting and importing keys, and takes into account dynamic corruption of keys. Based on this we can define the security of more expressive APIs which support richer functionality. We illustrate our approach by showing the security of APIs both in symbolic and computational models.
Type de document :
Communication dans un congrès
24th IEEE Computer Security Foundations Symposium (CSF'11), Jun 2011, Cernay-la-Ville, France. IEEE Computer Society, 2011, Proceedings of the 24th IEEE Computer Security Foundations Symposium (CSF'11). 〈10.1109/CSF.2011.25〉
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00636734
Contributeur : Steve Kremer <>
Soumis le : jeudi 8 octobre 2015 - 20:45:46
Dernière modification le : jeudi 11 janvier 2018 - 06:20:14
Document(s) archivé(s) le : samedi 9 janvier 2016 - 10:42:30

Fichier

KSW-csf11.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Steve Kremer, Graham Steel, Bogdan Warinschi. Security for Key Management Interfaces. 24th IEEE Computer Security Foundations Symposium (CSF'11), Jun 2011, Cernay-la-Ville, France. IEEE Computer Society, 2011, Proceedings of the 24th IEEE Computer Security Foundations Symposium (CSF'11). 〈10.1109/CSF.2011.25〉. 〈inria-00636734〉

Partager

Métriques

Consultations de la notice

175

Téléchargements de fichiers

60