Promotion d'un Internet plus rapide et plus sûr
Le projet AVISPA a mis l'accent sur des techniques et outils avancés d'analyse des protocoles de sécurité utilisés pour prendre en charge la nouvelle génération d'applications internet distribuées. L'un des objectifs premiers était la mise au point d'un langage de haut niveau afin de spécifier des protocoles de sécurité internet. Basé sur une sémantique formelle, il permet de traduire facilement des descriptions de protocole extrêmement techniques en un format plus déclaratif capable d'effectuer une analyse formelle. Le langage de spécification de protocole de haut niveau (HLPSL, high-level protocol specification language) ainsi conçu prend en charge la description de suites de protocoles internet, des objectifs de sécurité et des hypothèses concernant l'environnement. Il se caractérise par une modularité accrue qui lui permet de spécifier des modèles complexes de flux de contrôle, des structures de données et différents modèles d'intrus. La combinaison d'un langage formel avec une sémantique logique temporelle offre de nouvelles possibilités d'utilisation à différentes fins avec une expressivité appropriée. Le protocole HLPSL, qui répond à la fois aux besoins des ingénieurs et des développeurs de protocoles des organismes de normalisation, s'est avéré extrêmement efficace pour la modélisation de protocoles de sécurité. Sa convivialité offre une plus grande flexibilité à l'utilisateur en lui permettant de créer des modèles fiables et d'examiner différentes hypothèses concernant l'environnement d'exécution du protocole. Pour plus d'informations, visitez le site: http://www.avispa-project.org
