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

Riepilogo Tecnico: Framework FIDEM per il Binding Sicuro MUD

Enunciato del Problema
Lo standard Manufacturer Usage Description (MUD) (RFC 8520) consente ai produttori di definire profili di comportamento di rete per dispositivi IoT, permettendo ai controller di rete di imporre restrizioni basate sul traffico previsto. Tuttavia, esiste una vulnerabilità critica nel processo di Binding tra Dispositivo e Profilo MUD (MUD-Binding). Sebbene lo standard definisca un metodo di emissione sicuro basato su certificati X.509, le implementazioni attuali fanno prevalentemente affidamento sull'estensione non sicura del Dynamic Host Configuration Protocol (DHCP) a causa della sua semplicità e della natura plug-and-play.

Nell'estensione DHCP non sicura, un dispositivo annuncia semplicemente un URL che punta al proprio profilo MUD. Il controller di rete recupera il file e impone le politiche basandosi sull'autenticità del file, non sul diritto del dispositivo richiedente. Questo disaccoppiamento consente a dispositivi malevoli o compromessi di annunciare URL validi che fanno riferimento a profili MUD genuini destinati ad altri dispositivi. Di conseguenza, gli attaccanti possono indurre l'imposizione di politiche di rete errate e eccessivamente permissive, facilitando il movimento laterale e l'escalation dei privilegi. Le soluzioni esistenti per proteggere questo binding spesso non soddisfano i vincoli pratici: fanno affidamento su un'Infrastruttura a Chiave Pubblica (PKI) che raramente è supportata nei dispositivi IoT vincolati, richiedono un coinvolgimento attivo eccessivo da parte dei produttori durante l'esecuzione, violano la conformità agli standard o mancano di meccanismi per aggiornamenti sicuri del profilo.

Metodologia: Il Framework FIDEM
Per colmare queste lacune, gli autori propongono FIDEM, un framework conforme agli standard che protegge l'emissione di URL MUD basata su DHCP senza fare affidamento su PKI o su un coinvolgimento attivo del produttore durante la verifica.

1. Modello di Minaccia: FIDEM opera sotto un modello di minaccia più forte e realistico rispetto ai lavori precedenti. Assume che i dispositivi possano essere compromessi in qualsiasi fase del ciclo di vita (incluso il compromissione della catena di approvvigionamento) e considera avversari che possono utilizzare dispositivi legittimi come oracoli crittografici per eseguire operazioni a nome di dispositivi compromessi.
2. Modello di Gestione MUD (MMM): Per garantire la scalabilità, FIDEM introduce un modello di gestione basato su classi. Invece di assegnare profili unici a ogni singolo dispositivo, i produttori raggruppano dispositivi con requisiti di rete identici in "Classi MUD". Ogni classe è associata a un singolo profilo MUD e a una chiave segreta condivisa ($K_c$). Questo riduce il sovraccarico di gestione per i produttori e i requisiti di archiviazione per i dispositivi.
3. Binding Crittografico tramite Prove a Conoscenza Zero (ZKP):
   • Gestione delle Chiavi: Ogni Classe MUD $C$ possiede una chiave segreta $K_c$ memorizzata nell'hardware sicuro del dispositivo e un punto pubblico corrispondente $X_c = K_c \cdot G$ su una Curva Ellittica. Il file MUD viene esteso per includere questi parametri pubblici ($X_c$, parametri della curva, ecc.).
   • Protocollo di Verifica: Durante l'handshake DHCP, il dispositivo dimostra il possesso di $K_c$ senza rivelarla. Il protocollo utilizza una ZKP interattiva basata su Schnorr:
     • Il dispositivo invia un impegno $R = r \cdot G$ (dove $r$ è un nonce casuale) insieme all'URL MUD.
     • Il Controller emette una sfida casuale $C$.
     • Il dispositivo calcola una risposta $Z = r + H \cdot K_c$, dove $H$ è un hash dell'impegno, della chiave pubblica, della sfida e dell'URL.
     • Il Controller verifica l'uguaglianza $Z \cdot G \stackrel{?}{=} R + H \cdot X_c$.
   • Incorporamento: Per mantenere la compatibilità con lo standard, i parametri ZKP (impegno $R$) sono incorporati nel campo riservato dell'opzione DHCP 161 (MUDstring) o in un'opzione DHCP separata se lo spazio è insufficiente.
4. Aggiornamenti Sicuri: FIDEM supporta aggiornamenti sicuri del profilo tramite un modello publish-subscribe. Il Controller verifica periodicamente le firme dei file MUD. Se un dispositivo si riavvia con un nuovo URL, il Controller verifica che il nuovo profilo appartenga allo stesso produttore, prevenendo l'impersonificazione tra produttori diversi.

Contributi Chiave

• Modello di Minaccia Formale: Il documento formalizza un modello di minaccia che tiene esplicitamente conto delle compromissioni della catena di approvvigionamento e degli avversari che utilizzano dispositivi legittimi come oracoli crittografici, uno scenario spesso trascurato nella letteratura precedente.
• Framework Conforme agli Standard: FIDEM è la prima soluzione a proteggere l'emissione di URL MUD basata su DHCP rimanendo pienamente conforme alla RFC 8520, evitando la necessità di estensioni non standard o di PKI.
• Autenticazione ZKP Leggera: Sfruttando le ZKP basate su Schnorr, FIDEM elimina la necessità di PKI e riduce al minimo il coinvolgimento del produttore alla sola fornitura iniziale delle chiavi di classe e all'hosting dei file.
• Modello di Gestione MUD (MMM): L'introduzione di un modello basato su classi per l'associazione dei profili abilita una gestione delle chiavi scalabile e il supporto del ciclo di vita.
• Implementazione Reale: Gli autori hanno implementato FIDEM su dispositivi vincolati commerciali (ESP32-S3 e ESP32-C6) e rilasciato il codice sorgente.

Risultati Sperimentali
Gli autori hanno valutato FIDEM confrontandolo con DHCP standard, X.509 su HTTP e X.509 su TLS utilizzando dispositivi ESP32-S3 e ESP32-C6.

• Prestazioni: FIDEM introduce un sovraccarico minimo rispetto al DHCP standard non sicuro. Su ESP32-S3, il tempo di verifica mediano è stato di 9,06 ms (circa il 30% più lento rispetto ai 6,99 ms del DHCP standard). Su ESP32-C6 (con TEE hardware), il sovraccarico è stato ridotto a circa il 7% (5 ms).
• Confronto con PKI: FIDEM supera significativamente gli approcci basati su certificati. È circa 20 volte più veloce di X.509 su TLS e consuma ~35% in meno di energia.
• Efficienza Energetica: Il consumo energetico per FIDEM su ESP32-S3 è stato di 385 mJ, un aumento trascurabile (~8%) rispetto al DHCP standard (354 mJ) e significativamente inferiore rispetto a X.509 su TLS (574 mJ).

Significato e Affermazioni
Il documento afferma che FIDEM colma con successo il divario tra sicurezza e possibilità di distribuzione nelle reti IoT. Proteggendo l'estensione DHCP ampiamente utilizzata senza richiedere infrastrutture PKI complesse o supporto attivo del produttore durante l'esecuzione, FIDEM rende fattibile l'adozione sicura di MUD per ambienti con risorse limitate. Il framework resiste ad avversari più forti rispetto ai lavori precedenti, inclusi quelli capaci di sfruttare dispositivi legittimi come oracoli, mantenendo al contempo la conformità agli standard e supportando aggiornamenti sicuri del profilo. Gli autori concludono che FIDEM offre una soluzione pratica e a basso sovraccarico alla vulnerabilità MUD-Binding, permettendo l'imposizione di politiche di rete corrette senza compromettere l'efficienza operativa dei dispositivi IoT.