Un outil d'aide à la conception de protocoles cryptographiques

Les protocoles cryptographiques sont devenus indispensables pour securiser les communications electroniques, toujours plus nombreuses et s'effectuant dans un environnement hostile en perpetuelle evolution. Ces protocoles doivent donc suivre ces evolutions et deviennent ainsi de plus en plus complexes : leur conception doit donc suivre une demarche rigoureuse, et inclure des verifications automatiques afn de detecter au plus vite des failles. Nous presenterons un outil, developpe dans le cadre du projet AVISPA, qui propose un langage de haut niveau pour specifier des protocoles, ainsi qu'un ensemble d'outils de verification.