An example of proving UC-realization with formal methods

Abstract : In the universal composability framework we consider ideal functionalities for secure messaging and signcryption. Using traditional formal methods techniques we show that the secure messaging functionality can be UC-realized by a hybrid protocol that uses the signcryption functionality and a public key infrastructure functionality. We also discuss that the signcryption functionality can be UC-realized by a secure signcryption scheme.
Type de document :
Communication dans un congrès
Véronique Cortier et Steve Kremer. Workshop on Formal and Computational Cryptography (FCC 2006), Jul 2006, Venice/Italy, 2006
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00080685
Contributeur : Véronique Cortier <>
Soumis le : mardi 20 juin 2006 - 10:36:20
Dernière modification le : mardi 20 juin 2006 - 12:59:54
Document(s) archivé(s) le : lundi 5 avril 2010 - 21:21:36

Fichier

Identifiants

  • HAL Id : inria-00080685, version 1

Collections

Citation

Suzana Andova, Kristian Gjøsteen, Lillian Kråkmo, Stig Frode Mjølsnes, Saša Radomirović. An example of proving UC-realization with formal methods. Véronique Cortier et Steve Kremer. Workshop on Formal and Computational Cryptography (FCC 2006), Jul 2006, Venice/Italy, 2006. 〈inria-00080685〉

Partager

Métriques

Consultations de la notice

82

Téléchargements de fichiers

89