Compositional Analysis of Contract Signing Protocols

Michael Backes; Anupam Datta; Ante Derek; John C. Mitchell; Mathieu Turuani

Home
Submit
Browse all HAL
Inria publications
Search
Services
Help
OpenAccess
- Inria supporting open science

Journal articles

Compositional Analysis of Contract Signing Protocols

Michael Backes ¹ Anupam Datta ² Ante Derek ² John C. Mitchell ² Mathieu Turuani ³

1 IBM Research Lab. - Zürich

2 Computer Science Department [Stanford]

3 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 Nancy - Grand Est, LORIA - FM - Department of Formal Methods

Michael Backes ¹ AuthorId : 135323
Author Employer institution : IBM

Anupam Datta ² AuthorId : 134938
Author Employer institution : Stanford University

Ante Derek ² AuthorId : 134939
Author Employer institution : Stanford University

John C. Mitchell ² AuthorId : 134940
Author Employer institution : Stanford University

Mathieu Turuani ³ AuthorId : 131698
Author Employer institution : Institut National de Recherche en Informatique et en Automatique

1 IBM Research Lab. - Zürich (Säumerstrasse 4 , CH–8803 Rüschlikon - Switzerland) StructId : 21486

2 Computer Science Department [Stanford] (Stanford University, School of Engineering, 353 Jane Stanford Way, Stanford, CA 94305 - United States) StructId : 21398

Stanford University (450 Serra Mall, Stanford, CA 94305-2004 - United States) StructId : 73500

3 CASSIS - Combination of approaches to the security of infinite states systems (France) StructId : 189789

FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (32 avenue de l'Observatoire 25044 BESANCON CEDEX - France) StructId : 866
- UTBM - Université de Technologie de Belfort-Montbeliard (France) StructId : 300261
- ENSMM - Ecole Nationale Supérieure de Mécanique et des Microtechniques (École Nationale Supérieure de Mécanique et des Microtechniques 26, rue de l'épitaphe CS 51813 25030 BESANÇON CEDEX - FRANCE - France) StructId : 300360
- UFC - Université de Franche-Comté (1 rue Goudimel 25030 Besançon cedex - France) StructId : 458810
  - UBFC - Université Bourgogne Franche-Comté [COMUE] (France) StructId : 426438
- CNRS - Centre National de la Recherche Scientifique : UMR6174 (France) StructId : 441569
Inria Nancy - Grand Est (615 rue du Jardin Botanique 54600 Villers-lès-Nancy - France) StructId : 129671
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
LORIA - FM - Department of Formal Methods (France) StructId : 423084
- LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications (Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex - France) StructId : 206040
  - Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
  - UL - Université de Lorraine (34 cours Léopold - CS 25233 - 54052 Nancy cedex - France) StructId : 413289
  - CNRS - Centre National de la Recherche Scientifique : UMR7503 (France) StructId : 441569

Document type :

Journal articles

Domain :

Computer Science [cs] / Cryptography and Security [cs.CR]

Complete list of metadata

https://hal.inria.fr/inria-00104005
Contributor : Mathieu Turuani <>
Submitted on : Thursday, October 5, 2006 - 4:08:57 PM
Last modification on : Friday, April 2, 2021 - 3:35:07 AM

Identifiers

HAL Id : inria-00104005, version 1

Collections

Citation

Michael Backes, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani. Compositional Analysis of Contract Signing Protocols. Theoretical Computer Science, Elsevier, 2006, Theoretical Computer Science. ⟨inria-00104005⟩

Compositional Analysis of Contract Signing Protocols

Identifiers

Collections

Citation

Export

Metrics

256

Contact Legal Notice Personal Data

Compositional Analysis of Contract Signing Protocols

Identifiers

Collections

Citation

Export

Share

Metrics

256

Contact Legal Notice Personal Data