Principios y técnicas de aplicación del aislamiento de fallos basado en software

Título original:

Principles and Implementation Techniques of Software-Based Fault Isolation

Contenido del libro:

Cuando se protege un sistema informático, a menudo es necesario aislar un componente no fiable en un dominio de protección separado y proporcionar sólo una interacción controlada entre el dominio y el resto del sistema. El aislamiento de fallos basado en software (SFI) establece un dominio de protección lógico insertando comprobaciones dinámicas antes de las instrucciones de memoria y de transferencia de control.

En comparación con otros mecanismos de aislamiento, se beneficia de una gran eficacia (con menos de un 5% de sobrecarga de rendimiento), es fácilmente aplicable a código nativo heredado y no depende de hardware especial ni de soporte del sistema operativo. SFI se ha aplicado con éxito en muchas aplicaciones, incluyendo el aislamiento de extensiones del núcleo del sistema operativo, el aislamiento de plug-ins en navegadores y el aislamiento de bibliotecas nativas en la máquina virtual Java.

Esta monografía discute la política SFI, sus principales técnicas de implementación y optimización, así como una formalización SFI en un lenguaje ensamblador idealizado. Concluye con una breve discusión sobre futuras direcciones de investigación y una mirada a otras propiedades que proporcionan fuertes garantías de integridad y confidencialidad en sistemas de software.