Un outil d'aide à la conception de protocoles cryptographiques - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Other Publications Year : 2005

Un outil d'aide à la conception de protocoles cryptographiques

Abstract

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.
No file

Dates and versions

inria-00000407 , version 1 (06-10-2005)

Identifiers

  • HAL Id : inria-00000407 , version 1

Cite

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

Share

Gmail Facebook Twitter LinkedIn More