FIDEM: A Standard-Compliant Framework for Secure Binding of MUD Profiles to IoT Devices

Resumo Técnico: Framework FIDEM para Vinculação Segura de MUD

Declaração do Problema
O padrão Manufacturer Usage Description (MUD) (RFC 8520) permite que fabricantes definam perfis de comportamento de rede para dispositivos IoT, permitindo que controladores de rede imponham restrições com base no tráfego esperado. No entanto, uma vulnerabilidade crítica existe no processo de Vinculação Dispositivo-Perfil MUD (MUD-Binding). Embora o padrão defina um método seguro de emissão baseado em certificados X.509, as implantações atuais dependem predominantemente da extensão insegura do Protocolo de Configuração Dinâmica de Host (DHCP) devido à sua simplicidade e natureza plug-and-play.

Na extensão insegura do DHCP, um dispositivo simplesmente anuncia um URL apontando para seu perfil MUD. O controlador de rede recupera o arquivo e aplica políticas com base na autenticidade do arquivo, não no direito do dispositivo solicitante. Esse desacoplamento permite que dispositivos maliciosos ou comprometidos anunciem URLs válidos referenciando perfis MUD genuínos destinados a outros dispositivos. Consequentemente, atacantes podem induzir a aplicação de políticas de rede incorretas e excessivamente permissivas, facilitando o movimento lateral e a elevação de privilégios. Soluções existentes para proteger essa vinculação frequentemente falham em atender a restrições práticas: dependem de Infraestrutura de Chave Pública (PKI), que raramente é suportada em dispositivos IoT restritos, exigem envolvimento ativo excessivo dos fabricantes durante a execução, quebram a conformidade com padrões ou carecem de mecanismos para atualizações seguras de perfil.

Metodologia: O Framework FIDEM
Para abordar essas lacunas, os autores propõem o FIDEM, um framework compatível com padrões que protege a emissão de URLs MUD baseada em DHCP sem depender de PKI ou envolvimento ativo do fabricante durante a verificação.

1. Modelo de Ameaças: O FIDEM opera sob um modelo de ameaças mais forte e realista do que trabalhos anteriores. Assume que dispositivos podem ser comprometidos em qualquer estágio do ciclo de vida (incluindo comprometimento da cadeia de suprimentos) e considera adversários que podem usar dispositivos legítimos como oráculos criptográficos para realizar operações em nome de dispositivos comprometidos.
2. Modelo de Gerenciamento MUD (MMM): Para garantir escalabilidade, o FIDEM introduz um modelo de gerenciamento baseado em classes. Em vez de atribuir perfis únicos a cada dispositivo individual, os fabricantes agrupam dispositivos com requisitos de rede idênticos em "Classes MUD". Cada classe está associada a um único perfil MUD e a uma chave secreta compartilhada ($K_c$). Isso reduz a sobrecarga de gerenciamento para fabricantes e os requisitos de armazenamento para dispositivos.
3. Vinculação Criptográfica via Provas de Conhecimento Zero (ZKP):
   • Gerenciamento de Chaves: Cada Classe MUD $C$ possui uma chave secreta $K_c$ armazenada no hardware seguro do dispositivo e um ponto público correspondente $X_c = K_c \cdot G$ em uma Curva Elíptica. O arquivo MUD é estendido para incluir esses parâmetros públicos ($X_c$, parâmetros da curva, etc.).
   • Protocolo de Verificação: Durante o handshake DHCP, o dispositivo prova a posse de $K_c$ sem revelá-la. O protocolo utiliza uma ZKP interativa baseada em Schnorr:
     • O dispositivo envia um compromisso $R = r \cdot G$ (onde $r$ é um nonce aleatório) juntamente com o URL MUD.
     • O Controlador emite um desafio aleatório $C$.
     • O dispositivo calcula uma resposta $Z = r + H \cdot K_c$, onde $H$ é um hash do compromisso, chave pública, desafio e URL.
     • O Controlador verifica a igualdade $Z \cdot G \stackrel{?}{=} R + H \cdot X_c$.
   • Incorporação: Para manter compatibilidade retroativa com o padrão, os parâmetros ZKP (compromisso $R$) são incorporados no campo reservado da opção DHCP 161 (MUDstring) ou em uma opção DHCP separada se o espaço for insuficiente.
4. Atualizações Seguras: O FIDEM suporta atualizações seguras de perfil por meio de um modelo de publicação-assinatura. O Controlador verifica periodicamente as assinaturas dos arquivos MUD. Se um dispositivo reiniciar com um novo URL, o Controlador verifica se o novo perfil pertence ao mesmo fabricante, impedindo a impersonificação entre fabricantes.

Principais Contribuições

• Modelo de Ameaças Formal: O artigo formaliza um modelo de ameaças que conta explicitamente com comprometimentos da cadeia de suprimentos e adversários usando dispositivos legítimos como oráculos criptográficos, um cenário frequentemente negligenciado na literatura anterior.
• Framework Compatível com Padrões: O FIDEM é a primeira solução a proteger a emissão de URLs MUD baseada em DHCP, mantendo-se totalmente compatível com a RFC 8520, evitando a necessidade de extensões não padrão ou PKI.
• Autenticação ZKP Leve: Ao aproveitar ZKP baseada em Schnorr, o FIDEM elimina a necessidade de PKI e minimiza o envolvimento do fabricante para o provisionamento inicial de chaves de classe e hospedagem de arquivos.
• Modelo de Gerenciamento MUD (MMM): A introdução de um modelo baseado em classes para associação de perfis permite gerenciamento escalável de chaves e suporte ao ciclo de vida.
• Implementação do Mundo Real: Os autores implementaram o FIDEM em dispositivos restritos comerciais (ESP32-S3 e ESP32-C6) e lançaram o código-fonte.

Resultados Experimentais
Os autores avaliaram o FIDEM contra DHCP padrão, X.509 sobre HTTP e X.509 sobre TLS usando dispositivos ESP32-S3 e ESP32-C6.

• Desempenho: O FIDEM introduz sobrecarga mínima em comparação com o DHCP padrão inseguro. No ESP32-S3, o tempo de verificação mediano foi de 9,06 ms (aproximadamente 30% mais lento que os 6,99 ms do DHCP padrão). No ESP32-C6 (com TEE de hardware), a sobrecarga foi reduzida para aproximadamente 7% (5 ms).
• Comparação com PKI: O FIDEM supera significativamente as abordagens baseadas em certificados. É aproximadamente 20 vezes mais rápido que X.509 sobre TLS e consome ~35% menos energia.
• Eficiência Energética: O consumo de energia para o FIDEM no ESP32-S3 foi de 385 mJ, um aumento negligenciável (~8%) sobre o DHCP padrão (354 mJ) e significativamente menor que X.509 sobre TLS (574 mJ).

Significância e Alegações
O artigo alega que o FIDEM conecta com sucesso a lacuna entre segurança e implantabilidade em redes IoT. Ao proteger a extensão DHCP amplamente utilizada sem exigir infraestrutura PKI complexa ou suporte ativo de fabricantes durante a execução, o FIDEM torna a adoção segura de MUD viável para ambientes com recursos restritos. O framework resiste a adversários mais fortes do que trabalhos anteriores, incluindo aqueles capazes de explorar dispositivos legítimos como oráculos, mantendo a conformidade com padrões e suportando atualizações seguras de perfil. Os autores concluem que o FIDEM oferece uma solução prática e de baixa sobrecarga para a vulnerabilidade de MUD-Binding, permitindo a aplicação de políticas de rede corretas sem comprometer a eficiência operacional dos dispositivos IoT.