FortiCrack

Descifra imágenes de firmware Fortinet FortiOS cifradas

Desarrollado por Bishop Fox Team X

Requisitos

Esta herramienta está diseñada para ejecutarse en un entorno Linux.

Instala los paquetes python3 y gzip para tu sistema.

Uso

Descarga una imagen de firmware cifrada desde el sitio de soporte de Fortinet y, a continuación, ejecuta esta herramienta contra ella.

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

FortiCrack utiliza un ataque de texto plano conocido para derivar la clave de cifrado del archivo y, a continuación, descifra los datos de la imagen. Puedes encontrar más detalles en nuestro blog: Descifrando el cifrado de firmware de Fortinet

Ejemplo

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

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

Limitaciones

Todas las imágenes de firmware de Fortinet cifradas utilizan el mismo esquema de cifrado débil (al momento de escribir esto), pero no todas tienen el mismo texto plano conocido. Este ataque funcionará contra la mayoría de las imágenes, pero ciertos productos requerirán que modifiques el exploit para derivar la clave con éxito.

Licencia

Este proyecto está licenciado bajo GPL v3.