Gli sviluppatori di Microsoft un meccanismo di verifica dell'integrità (Integrity Policy Enforcement), implementato come modulo LSM (Linux Security Module) per il kernel Linux. Questo modulo consente di definire una politica generale di integrità per l'intero sistema, specificando quali operazioni sono consentite e come verificare l'autenticità dei componenti. Con IPE è possibile specificare quali file eseguibili possono essere avviati e garantire che tali file siano identici alla versione fornita da una fonte attendibile. Il codice sotto licenza MIT.
IPE è progettato per creare sistemi completamente verificabili, la cui integrità è garantita dal bootloader iniziale e dal kernel fino ai file eseguibili finali, alle configurazioni e ai file caricati. In caso di modifica o sostituzione di un file, IPE può bloccare l'operazione o registrare l'evento di violazione dell'integrità. Il meccanismo proposto può essere applicato nei firmware per dispositivi integrati, in cui tutto il software e le impostazioni sono specificamente assemblati e forniti dal proprietario, ad esempio, nei data center. Microsoft IPE è utilizzato nell'hardware per firewall.
Da altri sistemi di verifica dell'integrità, come , IPE si differenzia per l'indipendenza dai metadati nel FS: tutte le proprietà che definiscono l'ammissibilità delle operazioni sono memorizzate direttamente nel kernel. Per la verifica dell'integrità del contenuto dei file mediante hash crittografici, vengono utilizzati meccanismi già presenti nel kernel
o .
In analogia con SELinux, sono supportati due modalità di funzionamento: «permissive» e «enforce». Nella prima modalità viene solo registrato un log dei problemi durante le verifiche, il che può essere utilizzato, ad esempio, per testare in anteprima l'ambiente.
Fonte: opennet.ru
