Principles and Implementation Techniques of Software-Based Fault Isolation

Software-based Fault Isolation (SFI) is a software-instrumentation technique at the machine- code level for establishing logical protection domains within a process. This monograph discusses the SFI policy, its main implementation and optimization techniques, as well as an SFI formalization on an idealized assembly language.