Microsoft lancia Hornet. Il modulo Linux che verifica le firme dei programmi eBPF

Redazione RHC : 24 Marzo 2025 07:15

Microsoft ha introdotto Hornet, un nuovo modulo di sicurezza Linux (LSM) che verifica le firme dei programmi eBPF. Si tratta dell’ultimo contributo dell’azienda allo sviluppo di Linux e delle tecnologie di sicurezza open source.

Microsoft è da tempo un convinto sostenitore di eBPF, una tecnologia che consente ai programmi utente di essere eseguiti direttamente all’interno del kernel Linux, in modo sicuro ed efficiente. eBPF può essere utilizzato per svolgere diverse attività, dal miglioramento delle prestazioni della rete al monitoraggio e al potenziamento della sicurezza. Microsoft non solo ha trasferito eBPF su Windows, ma è anche diventata membro fondatore della eBPF Foundation, dimostrando il suo impegno nei confronti della tecnologia.

Ora Microsoft ha introdotto Hornet, un modulo Linux che mira a migliorare la sicurezza dei programmi eBPF. Hornet verifica le firme degli eseguibili eBPF utilizzando uno schema simile a quello impiegato per verificare le firme dei moduli del kernel Linux.

CALL FOR SPONSOR - Sponsorizza l'ottavo episodio della serie Betti-RHC

Sei un'azienda innovativa, che crede nella diffusione di concetti attraverso metodi "non convenzionali"? Conosci il nostro corso sul cybersecurity awareness a fumetti? Red Hot Cyber sta ricercando un nuovo sponsor per una nuova puntata del fumetto Betti-RHC mentre il team è impegnato a realizzare 3 nuovi episodi che ci sono stati commissionati.

Contattaci tramite WhatsApp al numero 375 593 1011 per richiedere ulteriori informazioni oppure alla casella di posta [email protected]

Supporta RHC attraverso:

• L'acquisto del fumetto sul Cybersecurity Awareness
• Ascoltando i nostri Podcast
• Seguendo RHC su WhatsApp
• Seguendo RHC su Telegram
• Scarica gratuitamente "Dark Mirror", il report sul ransomware di Dark Lab

Ti piacciono gli articoli di Red Hot Cyber? Non aspettare oltre, iscriviti alla newsletter settimanale per non perdere nessun articolo.

La firma standard pkcs#7 viene aggiunta alla fine del file eseguibile e, quando si carica il programma tramite la chiamata di sistema bpf_prog_load, Hornet la estrae automaticamente dal file di processo corrente. La firma viene quindi utilizzata per verificare l’integrità delle istruzioni eBPF e delle strutture dati caricate nel kernel.

La caratteristica unica di Hornet è che considera automaticamente attendibili i programmi caricati direttamente dal kernel Linux, anziché dallo spazio utente. Ciò rende Hornet compatibile con i programmi precaricati tramite il meccanismo BPF_PRELOAD e garantisce il corretto funzionamento dei programmi generati staticamente che non richiedono ulteriore elaborazione nello spazio utente.

Oltre al modulo Hornet stesso (disponibile abilitando l’opzione SECURITY_HORNET nella configurazione del kernel), Microsoft ha offerto anche un nuovo strumento chiamato sign-ebpf. È progettato specificamente per firmare programmi eBPF ed è integrato direttamente nel codice sorgente di Linux.

Mentre la proposta è ancora in fase di discussione, chiunque sia interessato può leggere i dettagli studiando le patch RFC del modulo Hornet, pubblicato nel repository Linux .

Redazione
La redazione di Red Hot Cyber è composta da un insieme di persone fisiche e fonti anonime che collaborano attivamente fornendo informazioni in anteprima e news sulla sicurezza informatica e sull'informatica in generale.

Lista degli articoli