Strong Authentication Protocols Analysis - Analyse des Protocoles d'Authentification Forte

Table des matières

1. Description
2. Installation et Exécution
   1. Méthode 1
   2. Méthode 2
3. Résultats

Description

Ce projet implémente trois protocoles d'authentification indépendants :

1. Authentification asymétrique forte (.txt, .hlpsl)
2. Authentification symétrique forte (.txt, .hlpsl)
3. Authentification XOR forte (.txt, .hlpsl)

Les protocoles ont été testés sous une machine virtuelle Ubuntu avec SPAN. Les deux premiers protocoles ont été jugés sûrs, mais une attaque a été détectée dans l'authentification XOR.

Installation et Exécution

Méthode 1

Cloner le dépôt

git clone https://github.com/callbak/Strong_Auth_Protocols-Analysis.git
cd Strong_Auth_Protocols-Analysis

Installer SPAN (Si non installé)

sudo apt update && sudo apt install avispa-tools

Vérifier les protocoles avec AVISPA

Exécutez la commande suivante pour tester un fichier :

span strong_asymmetric_authentication.hlpsl

Remplacez strong_asymmetric_authentication.hlpsl par le fichier souhaité.

Méthode 2

Installation et utilisation de SPAN

1. Installer SPAN-Ubuntu10.10-light dans une machine virtuelle.
2. Ouvrir SPAN et charger le fichier .hlpsl souhaité.
3. Sélectionner l'option ofmc.
4. Cliquer sur Execute pour visualiser les résultats.
5. Pour voir la simulation du protocole, utiliser l'option Protocol Simulation dans SPAN.

Résultats

• Authentification asymétrique forte
  • 
• Authentification symétrique forte
  • 
• Authentification XOR forte (Attaque détectée)
  •