4. Vérification de protocoles : la plate-forme AVISPA
En pratique, les protocoles Internet peuvent s'exécuter en parallèle (on parle alors de sessions de protocoles). Ils sont donc fortement sujets aux attaques de type man in the middle. La question qui se pose alors, lorsqu'un protocole est mis au point, est de savoir s'il est sûr vis-à-vis de ces failles.
La technique générale est la suivante :
on modélise le système dans un langage mathématique ;
on modélise dans un langage compatible les propriétés que doit vérifier le système ;
on confronte les deux modélisations pour savoir si le système est correct vis-à-vis des propriétés.
Lorsque l'on parle de vérification informatique de systèmes (le terme système a ici un sens générique et désigne aussi bien un programme qu'un protocole ou un régulateur de vitesse), la démarche générale est la suivante :
...
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Vérification de protocoles : la plate-forme AVISPA
TA4SP
Bibliographie
Références
- (1) - MANICORE (J.-M.) - Bénéfices environnementaux envisageables liés à l'introduction du télétravail - . Ministère de l'Industrie (2001). http://www.manicore.com/documentation/teletravail/OSI_synthese.html
-
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Article inclus dans l'offre
"Réseaux Télécommunications"
(
238 articles
)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
