FortiCrack

Descriptografa imagens de firmware Fortinet FortiOS criptografadas

Desenvolvido por Bishop Fox Team X

Requisitos

Esta ferramenta foi projetada para ser executada em um ambiente Linux.

Instale os pacotes python3 e gzip para o seu sistema.

Uso

Baixe uma imagem de firmware criptografada do site de suporte da Fortinet e execute esta ferramenta contra ela.

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

O FortiCrack usa um ataque de texto simples conhecido (known-plaintext) para derivar a chave de criptografia do arquivo e, em seguida, descriptografa os dados da imagem. Mais detalhes podem ser encontrados em nosso blog: Quebrando a criptografia de firmware da Fortinet

Exemplo

❯ ./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

Limitações

Todas as imagens de firmware Fortinet criptografadas usam o mesmo esquema de criptografia fraco (no momento em que este texto foi escrito), mas nem todas têm o mesmo texto simples conhecido. Esse ataque funcionará contra a maioria das imagens, mas alguns produtos exigirão que você modifique o exploit para derivar a chave com sucesso.

Licença

Este projeto está licenciado sob GPL v3.