Principles and Implementation Techniques of Software-Based Fault Isolation

The SFI policy, its main implementation and optimization techniques, as well as an SFI formalization on an idealized assembly language are discussed.