FortiCrack

Déchiffre les images du firmware Fortinet FortiOS chiffrées

Développé par Bishop Fox Team X

animation de démonstration

Prérequis

Cet outil est conçu pour fonctionner dans un environnement Linux.

Installez les paquets python3 et gzip pour votre système.

Utilisation

Téléchargez une image de firmware chiffrée depuis le site de support Fortinet, puis exécutez cet outil dessus.

❯ ./forticrack.py -h
Usage: python3 forticrack.py <FILENAME>

FortiCrack utilise une attaque à texte clair connu pour dériver la clé de chiffrement du fichier, puis déchiffre les données de l'image. Plus de détails sont disponibles sur notre blog : Briser le chiffrement du firmware Fortinet

Exemple

❯ ./forticrack.py FGT_100D-v6-build9451-FORTINET.out
 ___  __   __  ___    __   __        __       
|__  /  \ |__)  |  | /  ` |__)  /\  /  ` |__/ 
|    \__/ |  \  |  | \__, |  \ /~~\ \__, |  \ 

[+] Decrypting FGT_100D-v6-build9451-FORTINET.out
[+] Loaded image data
[+] Found key: oAbBIcDde7FfgGHhiIjJ7KlLmsn3OPP
[+] Validated: FG100D-6.04-FW-build1966-23031
[+] Decrypted: FGT_100D-v6-build9451-FORTINET.decrypted

Limitations

Toutes les images de firmware Fortinet chiffrées utilisent le même schéma de chiffrement faible (au moment de la rédaction), mais toutes n'ont pas le même texte clair connu. Cette attaque fonctionnera sur la majorité des images, mais certains produits nécessiteront de modifier l'exploit afin de dériver la clé avec succès.

Licence

Ce projet est sous licence GPL v3.

forticrack