Th3Tul1p3 / HEIGVD-SWI21-Labo1-WEP

TP Sécurité 802.11 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

On peut constater sur la sortie ci-dessus, qui est celle du script fournit, que le texte déchiffré correspond à celui déchiffré par celui de wireshark ci-dessous. En ce qui concerne l'ICV, on ne le retrouve pas dans wireshark en clair.

• Fonctionnement du script

Dans un premier temps, le premier paquet de la capture est lu. Puis on assemble le message et l'ICV qui sont toujours chiffrés. Après avoir initialisé RCA avec l'IV et la clé, on déchiffre le message.

Pour l'affichage, on prend les 4 derniers bytes pour afficher l'ICV en clair ainsi que sous forme numérique. Puis on affiche le texte clair sans l'ICV.

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 !

Capture d'écran du déchiffrement par wireshark

3. Fragmentation

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

Capture d'écran du déchiffrement par wireshark

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 !

Livrables

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

• Script de chiffrement WEP abondamment commenté/documenté OK

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

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

• Script de fragmentation abondamment commenté/documenté

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

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

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

Échéance

Le 25 mars 2021 à 23h59