Explication et Vérification Automatique de protocoles cryptographiques
EVA est un projet du Réseau
National des Technologies Logicielles
soutenu par le
Ministère délégué à
la Recherche et aux Nouvelles technologies.
La fiche officielle de présentation du projet est accessible sur
le site RNTL
.
OBJECTIF
L'objectif du projet EVA est de concevoir et développer des outils
de vérification de protocoles
- adaptés aux besoins industriels
, notamment aux protocoles de commerce électronique, et
- offrant des facilités pour la compréhension
et la mise au point des protocoles
.
DÉMARCHE
La démarche adoptée dans le projet EVA, consiste à
- proposer un langage dédié
LAEVA pour spécifier les protocoles et munir ce langage d'une sémantique
complète et sans ambiguïté
- construire une base de test
regroupant des protocoles représentatifs
décrits dans le langage LAEVA
- Concevoir et développer, de manière incrémentale,
plusieurs versions de prototypes de vérification dédiés répondant
aux objectifs ci-dessus
- Expérimenter les prototypes
développés sur la base de test du projet.
1. Trusted Logic S. A.
2. Laboratoire Spécification
et Vérification (ENS Cachan)
3. Laboratoire Verimag
Dernière modification le 22/11/2001
