[Rapport ]Rapport de Projet de Fin d'Etude Construction d'attaques pour les protocoles cryptographiques

Résumé Dans ce PFE, nous sommes intéressés a réaliser un outil d'aide a la mise au point de protocoles cryptographiques.Il s'agit de développer un outil de visualisation et d'analyse d'attaques potentielles. VERIMAG a développée un outil, nommé Hermes, qui vérie la propriété de secret des protocoles cryptographiques. Le but de ce PFE est d'étendre cet outil pour qu'il tient compte des droits d'accµ es des canaux de communication utilisés. Obtenant ainsi une modélisation plus réaliste, cette extension permettra µ a l'outil de verier des protocoles " complexes" et d'éviter des éventuelles fausses attaques.
Download