Principles and Implementation Techniques of Software-Based Fault Isolation

ISBN-13: 9781680833447 / Angielski / Miękka / 2017 / 78 str.

Gang Tan

Opis

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.

Spis treści

• 1: Introduction
• 2: The SFI Policy
• 3: SFI Enforcement
• 4: SFI Verification and Formalization
• 5: Future Directions
• 6: Going Beyond Fault Isolation
• 7: Conclusions
• 8: Acknowledgments
• References