4000 articles – 5528 Notices  [english version]

hal-00686535, version 1

Universally Composable Key-Management

Steve Kremer (, http://www.loria.fr/~skremer/) a1, Robert Kunnemann (, www.lsv.ens-cachan.fr/~kunneman/) 2, Graham Steel (, http://www.lsv.ens-cachan.fr/~steel/) b2

Résumé : 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.

  • a –  LORIA
  • b –  LSV ENS Cachan
  • 1 :  CASSIS (INRIA Nancy - Grand Est / LORIA / LIFC)
  • Université de Lorraine – Université de Franche-Comté – CNRS : FRE2661 – INRIA
  • 2 :  SECSI (INRIA Saclay - Ile de France)
  • INRIA – CNRS : UMR8643 – École normale supérieure (ENS) - Cachan
  • Domaine : Informatique/Cryptographie et sécurité
  • Mots-clés : Key management – Security APIs – Universal Composability
  • Commentaire : This is the full version of the paper.
 
  • hal-00686535, version 1
  • oai:hal.inria.fr:hal-00686535
  • Contributeur : 
  • Soumis le : Mardi 10 Avril 2012, 17:39:34
  • Dernière modification le : Vendredi 26 Octobre 2012, 11:41:20