Analyse de protocoles cryptographiques et composition de services Web

Mathieu turuani

Ce tutoriel prolonge l'exposé Déduction automatique appliquée à l'analyse et la vérification de systèmes infinis, en présentant des outils conçus lors des projets Européens AVISPA et AVANTSSAR, implantant des méthodes fondamentales d'analyse et de vérification, mais accessibles à un très large public et en particulier aux entreprises développant de nouvelles méthodes de sécurisation des communications électroniques.