Un outil d'aide à la conception de protocoles cryptographiques

Laurent Vigneron 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
Résumé : Les protocoles cryptographiques sont devenus indispensables pour sécuriser les communications électroniques, toujours plus nombreuses et s'effectuant dans un environnement hostile en perpétuelle évolution. Ces protocoles doivent donc suivre ces évolutions et deviennent ainsi de plus en plus complexes : leur conception doit donc suivre une démarche rigoureuse, et inclure des vérifications automatiques afn de détecter au plus vite des failles. Nous présenterons un outil, développé dans le cadre du projet AVISPA, qui propose un langage de haut niveau pour spécifier des protocoles, ainsi qu'un ensemble d'outils de vérification.
Document type :
Other publications
Complete list of metadatas

https://hal.inria.fr/inria-00000407
Contributor : Laurent Vigneron <>
Submitted on : Thursday, October 6, 2005 - 6:04:53 PM
Last modification on : Friday, July 6, 2018 - 3:06:09 PM

Identifiers

  • HAL Id : inria-00000407, version 1

Citation

Laurent Vigneron. Un outil d'aide à la conception de protocoles cryptographiques. 2005. ⟨inria-00000407⟩

Share

Metrics

Record views

182