Principi e tecniche di implementazione dell'isolamento dei guasti basato sul software

Titolo originale:

Principles and Implementation Techniques of Software-Based Fault Isolation

Contenuto del libro:

Quando si protegge un sistema informatico, spesso è necessario isolare un componente non attendibile in un dominio di protezione separato e fornire solo un'interazione controllata tra il dominio e il resto del sistema. L'isolamento dei guasti basato sul software (SFI) stabilisce un dominio logico di protezione inserendo controlli dinamici prima delle istruzioni di memoria e di trasferimento del controllo.

Rispetto ad altri meccanismi di isolamento, gode dei vantaggi di un'elevata efficienza (con un overhead di prestazioni inferiore al 5%), è facilmente applicabile al codice nativo legacy e non richiede un hardware speciale o il supporto del sistema operativo. L'SFI è stato applicato con successo in molte applicazioni, tra cui l'isolamento delle estensioni del kernel del sistema operativo, l'isolamento dei plug-in nei browser e l'isolamento delle librerie native nella Java Virtual Machine.

Questa monografia illustra la politica SFI, le sue principali tecniche di implementazione e ottimizzazione, nonché una formalizzazione SFI su un linguaggio assembly idealizzato. Si conclude con una breve discussione sulle future direzioni di ricerca e con uno sguardo ad altre proprietà che forniscono forti garanzie di integrità e riservatezza ai sistemi software.