Analysis of Contract Signing Protocols

Mathieu Turuani 1
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 (UMR 6174), INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Type de document :
Communication dans un congrès
CriSis, Oct 2005, LIFO, ENSI-Bourges, France, 2005
Liste complète des métadonnées

https://hal.inria.fr/inria-00104132
Contributeur : Mathieu Turuani <>
Soumis le : jeudi 5 octobre 2006 - 17:33:39
Dernière modification le : vendredi 6 juillet 2018 - 15:06:09

Identifiants

  • HAL Id : inria-00104132, version 1

Citation

Mathieu Turuani. Analysis of Contract Signing Protocols. CriSis, Oct 2005, LIFO, ENSI-Bourges, France, 2005. 〈inria-00104132〉

Partager

Métriques

Consultations de la notice

170