Un outil d'aide à la conception de protocoles cryptographiques
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.