https://github.com/callbak/strong_auth_protocols-analysis
https://github.com/callbak/strong_auth_protocols-analysis
assymetric-security authentication protocol-simulator symmetric-security
Last synced: 10 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/callbak/strong_auth_protocols-analysis
- Owner: callbak
- Created: 2025-03-06T09:01:39.000Z (about 1 year ago)
- Default Branch: main
- Last Pushed: 2025-03-06T09:27:31.000Z (about 1 year ago)
- Last Synced: 2025-03-15T22:19:15.883Z (about 1 year ago)
- Topics: assymetric-security, authentication, protocol-simulator, symmetric-security
- Homepage:
- Size: 8.79 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Strong Authentication Protocols Analysis - Analyse des Protocoles d'Authentification Forte
# Table des matières
1. [Description](#description)
2. [Installation et Exécution](#installation-et-exécution)
1. [Méthode 1](#méthode-1)
2. [Méthode 2](#méthode-2)
3. [Résultats](#-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
```bash
git clone https://github.com/callbak/Strong_Auth_Protocols-Analysis.git
cd Strong_Auth_Protocols-Analysis
```
#### Installer SPAN (Si non installé)
```bash
sudo apt update && sudo apt install avispa-tools
```
#### Vérifier les protocoles avec AVISPA
Exécutez la commande suivante pour tester un fichier :
```bash
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** ✅ (Système sûr)
- 
- **Authentification symétrique forte** ✅ (Système sûr)
- 
- **Authentification XOR forte** ❌ (Attaque détectée)
- 