A faire en équipes de deux personnes
- 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).
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 constate qu'avant le déchiffrement, Wireshark n'arrive pas lire la trame
Après avoir mis la clé dans Wireshark (pour permettre le déchiffrement), on constate que Wireshark arrive trouver le type de requête (dans ce cas ARP) ainsi que le texte déchiffré (dans l'onglet
Decrypted WEP data)
Lorsqu'on exécute le script, on remarque bien que le "Text" est similaire à la capture, cependant l'ICV ne l'est pas. Ceci est du au fait que le script ne permet pas de visualiser l'ICV encrypté. Néanmoins, Wireshark nous signale à côté de l'ICV le message "CORRECT", supposant que l'ICV est juste. (Ce point est vérifié lorsqu'on a crée le script dans la partie 2)
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).
- 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
wepdatapeut 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
icvaccepte 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 !
La capture Wireshark créée permet de bien déchiffrer le script que nous avons effectué: On constate bien que l'on trouve les éléments suivants :
- Message (en vert)
- ICV encrypté (de plus Wireshark permet de nous confirmer qu'il est correct) (en rouge)
Dans cette partie, vous allez enrichir votre script développé dans la partie précédente pour chiffrer 3 fragments.
- 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 !
On a testé de fragmenter un paquet de 144 bytes en 4 (chacun de 36 bytes)
Paquet 1
Le premier paquet nous montre les informations suivantes (en rouge)
On constate bien que c'est bien le premier fragment, qu'il est suivi de plusieurs fragments ("More fragments"), qu'il sera bien réassemblé dans la trame "4" et que les données sont décryptées
Paquet 4
On constate bien que c'est le dernier paquet ("More fragments" = 0), que son numéro est correct (No 3 --> part du paquet 0), et qu'il contient bien toutes les données assemblées.
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 et déchiffrés par Wireshark
-
Envoyer le hash du commit et votre username GitHub par email au professeur et à l'assistant
Le 14 avril 2022 à 23h59