Universally Composable Key-Management

Steve Kremer 1 Robert Kunnemann 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, FM - Formal Methods
2 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 : UMR8643
Abstract : We present the first key-management functionality in the Universal Composability (UC) framework. 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 API 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 the UC framework.
Document type :
Preprints, Working Papers, ...
This is the full version of the paper. 2012


https://hal.inria.fr/hal-00686535
Contributor : Robert Kunnemann <>
Submitted on : Tuesday, April 10, 2012 - 5:39:34 PM
Last modification on : Wednesday, July 29, 2015 - 1:26:40 AM

File

uc_keymanagement.pdf
fileSource_public_author

Identifiers

  • HAL Id : hal-00686535, version 1

Citation

Steve Kremer, Robert Kunnemann, Graham Steel. Universally Composable Key-Management. This is the full version of the paper. 2012. <hal-00686535>

Export

Share

Metrics

Consultation de
la notice

95

Téléchargement du document

45