rya-sge/HEIGVD-SWI22-Labo2-WEP

Livrables

Échéance

Travail à réaliser

Sécurité des réseaux sans fil

Laboratoire 802.11 Sécurité WEP

A faire en équipes de deux personnes

Pour cette partie pratique, vous devez être capable de :

• Déchiffrer manuellement des trames WEP utilisant Python et Scapy
• Chiffrer manuellement des trames WEP utilisant Python et Scapy
• Forger des fragments protégés avec WEP afin d’obtenir une keystream de longueur plus grande que 8 octets

Vous allez devoir faire des recherches sur internet pour apprendre à utiliser Scapy. Il est fortement conseillé d'employer une distribution Kali (on ne pourra pas assurer le support avec d'autres distributions).

Travail à réaliser

1. Déchiffrement manuel de WEP

Dans cette partie, vous allez récupérer le script Python manual-decryption.py. Il vous faudra également le fichier de capture arp.cap contenant un message arp chiffré avec WEP et la librairie rc4.py pour générer les keystreams indispensables pour chiffrer/déchiffrer WEP. Tous les fichiers doivent être copiés dans le même répertoire local sur vos machines.

• Ouvrir le fichier de capture arp.cap avec Wireshark
• Utiliser Wireshark pour déchiffrer la capture. Pour cela, il faut configurer dans Wireshark la clé de chiffrement/déchiffrement WEP (Dans Wireshark : Preferences→Protocols→IEEE 802.11→Decryption Keys). Il faut également activer le déchiffrement dans la fenêtre IEEE 802.11 (« Enable decryption »). Vous trouverez la clé dans le script Python manual-decryption.py.
• Exécuter le script avec python manual-decryption.py
• Comparer la sortie du script avec la capture text déchiffrée par Wireshark
• Analyser le fonctionnement du script

Résultat

• trame chiffrée

• Trame déchiffrée

2. Chiffrement manuel de WEP

Utilisant le script manual-decryption.py comme guide, créer un nouveau script manual-encryption.py capable de chiffrer un message, l’enregistrer dans un fichier pcap et l’envoyer. Vous devrez donc créer votre message, calculer le contrôle d’intégrité (ICV), et les chiffrer (voir slides du cours pour les détails).

Quelques éléments à considérer :

• Vous pouvez utiliser la même trame fournie comme « template » pour votre trame forgée (conseillé). Il faudra mettre à jour le champ de données qui transporte le message (wepdata) et le contrôle d’intégrite (icv).
• Le champ wepdata peut accepter des données en format text mais il est fortement conseillé de passer des bytes afin d'éviter les soucis de conversions.
• Le champ icv accepte des données en format « long ».
• Vous pouvez vous guider à partir du script fourni pour les différentes conversions de formats qui pourraient être nécessaires.
• Vous pouvez exporter votre nouvelle trame en format pcap utilisant Scapy et ensuite, l’importer dans Wireshark. Si Wireshark est capable de déchiffrer votre trame forgée, elle est correcte !

Résultat

Nous avons créé le script nommé manual-encryption.py pour faire cela.

• Lancement

python3 manual-encryption.py -i wlan0mon

Le fichier Wireshark correspondant est situé ici : encryptedFrame.pcapng

• Trame chiffrée

• Trame déchiffrée

• Envoi de la trame sur le réseau

• Et le résultat déchiffré avec la clé dans wireshark

3. Fragmentation

Dans cette partie, vous allez enrichir votre script développé dans la partie précédente pour chiffrer 3 fragments.

Quelques éléments à considérer :

• Chaque fragment est numéroté. La première trame d’une suite de fragments a toujours le numéro de fragment à 0. Une trame entière (sans fragmentation) comporte aussi le numéro de fragment égal à 0
• Pour incrémenter le compteur de fragments, vous pouvez utiliser le champ « SC » de la trame. Par exemple : trame.SC += 1
• Tous les fragments sauf le dernier ont le bit more fragments à 1, pour indiquer qu’un nouveau fragment va être reçu
• Le champ qui contient le bit « more fragments » est disponible en Scapy dans le champ FCfield. Il faudra donc manipuler ce champ pour vos fragments. Ce même champ est visible dans Wireshark dans IEEE 802.11 Data → Frame Control Field → Flags
• Pour vérifier que cette partie fonctionne, vous pouvez importer vos fragments dans Wireshark, qui doit être capable de les recomposer
• Pour un test encore plus intéressant (optionnel), vous pouvez utiliser un AP (disponible sur demande) et envoyer vos fragments. Pour que l’AP accepte vous données injectées, il faudra faire une « fake authentication » que vous pouvez faire avec aireplay-ng
• Si l’AP accepte vos fragments, il les recomposera et les retransmettra en une seule trame non-fragmentée !

Résultat

Nous avons créé le script nommé fragmentation.py .

• Lancement

python3 fragmentation.py -i wlan0mon

La trame sauvée en format wireshark se situe ici : trameFrag.pcapng

Enfin voici la capture d'écran montrant les 4 trames que nous avons générées. On peut voir que Wireshark a pu détecter qu'il s'agissait de trames fragmentée et qu'il a pu les réassembler dans la dernière trame.

Remarques : dans le script on avait configuré l'envoi de 4 fragments pour effectuer des tests, d'où les 4 fragments présent dans la capture. On a ensuite mis en conformité le code par rapport à la consigne. Le fichier actuel est celui avec 4 fragments.

• Envoi sur le réseau

Livrables

Un fork du repo original . Puis, un Pull Request contenant :

• Script de chiffrement WEP abondamment commenté/documenté

• Fichier pcap généré par votre script contenant la trame chiffrée

• Capture d’écran de votre trame importée et déchiffré par Wireshark

• Script de fragmentation abondamment commenté/documenté

• Fichier pcap généré par votre script contenant les fragments

• Capture d’écran de vos trames importées, déchiffrés et réassemblées par Wireshark

• Envoyer le hash du commit et votre username GitHub par email au professeur et à l'assistant

Échéance

Le 14 avril 2022 à 23h59