Vérifier automatiquement les protocoles de sécurité

Yohan Boichut; Pierre-Cyrille Heam; Olga Kouchnarenko

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

Journal articles

Vérifier automatiquement les protocoles de sécurité

Yohan Boichut ¹ Pierre-Cyrille Heam ² Olga Kouchnarenko ²

1 PROTHEO - Constraints, automatic deduction and software properties proofs

INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications

2 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

Yohan Boichut ¹ AuthorId : 219537
Author Employer institution : Institut National de Recherche en Informatique et en Automatique

Pierre-Cyrille Heam ² AuthorId : 190925
Author Employer institution : Université de Franche-Comté IdHAL : pierre-cyrille-heam

Olga Kouchnarenko ² AuthorId : 187732
Author Employer institution : Université de Franche-Comté

1 PROTHEO - Constraints, automatic deduction and software properties proofs (France) StructId : 2360

INRIA Lorraine (615 rue du Jardin Botanique 54600 Villers-lès-Nancy - France) StructId : 2496
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications (Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex - France) StructId : 466633
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
- UHP - Université Henri Poincaré - Nancy 1 (24-30 rue Lionnois, BP 60120, 54 003 NANCY cedex, France - France) StructId : 300291
- Université Nancy 2 (91 avenue de la Libération, BP 454, 54001 Nancy cedex - France) StructId : 300292
- INPL - Institut National Polytechnique de Lorraine (France) StructId : 300293
- CNRS - Centre National de la Recherche Scientifique : UMR7503 (France) StructId : 441569

2 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
  - CNRS - Centre National de la Recherche Scientifique : UMR7503 (France) StructId : 441569
  - UL - Université de Lorraine (34 cours Léopold - CS 25233 - 54052 Nancy cedex - France) StructId : 413289
  - Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009

Document type :

Journal articles

Domain :

Computer Science [cs] / Web

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

Complete list of metadata

https://hal.inria.fr/inria-00181761
Contributor : Pierre-Cyrille Heam Connect in order to contact the contributor
Submitted on : Wednesday, October 24, 2007 - 2:29:57 PM
Last modification on : Saturday, October 16, 2021 - 11:26:06 AM

Identifiers

HAL Id : inria-00181761, version 1

Collections

Citation

Yohan Boichut, Pierre-Cyrille Heam, Olga Kouchnarenko. Vérifier automatiquement les protocoles de sécurité. Techniques de l'Ingenieur, Techniques de l'ingénieur, 2007, pp.1-9. ⟨inria-00181761⟩

Vérifier automatiquement les protocoles de sécurité

Identifiers

Collections

Citation

Export

Metrics

291

Contact Legal Notice Personal Data

Vérifier automatiquement les protocoles de sécurité

Identifiers

Collections

Citation

Export

Share

Metrics

291

Contact Legal Notice Personal Data