PROVERIF

Au sein de l’esiea nous avons réalisés divers projets dont celui en majeur Cybersécurité avec l’application Proverif.

Ce projet a été réalisé par un groupe de 4 étudiants.

Nous avons du choisir un protocole parmi tous ceux étudié dans ce cours.

Nous avons choisis le protocole Ban-Andrew.

Ce protocole a pour but de fournir aux utilisateurs un environnement de partage de fichier.

Nous avons donc réalisé les 4 étapes du handshake en suivant le protocole d’Alice et Bob.

Nous avons ensuite du identifier l’attaque qui pouvait avoir lieu sur notre protocole.