Principles and Implementation Techniques of Software-Based Fault Isolation
Egy számítógépes rendszer védelme során gyakran szükséges, hogy egy nem megbízható komponenst külön védelmi tartományban különítsünk el, és csak ellenőrzött interakciót biztosítsunk a tartomány és a rendszer többi része között. A szoftveralapú hibaelszigetelés (SFI) egy logikai védelmi tartományt hoz létre a memória és a vezérlésátviteli utasítások előtti dinamikus ellenőrzések beillesztésével.
Más elszigetelési mechanizmusokkal összehasonlítva előnye, hogy nagy hatékonysággal működik (kevesebb mint 5%-os teljesítmény-többletköltséggel), könnyen alkalmazható régi natív kódra, és nem igényel speciális hardver- vagy operációs rendszer-támogatást. Az SFI-t számos alkalmazásban sikeresen alkalmazták, többek között az operációs rendszer kernel-bővítményeinek izolálásában, a böngészők bővítményeinek izolálásában és a Java Virtual Machine natív könyvtárainak izolálásában.
Ez a monográfia tárgyalja az SFI-irányelvet, annak főbb megvalósítási és optimalizálási technikáit, valamint az SFI formalizálását egy idealizált assembly nyelven. A könyv a jövőbeli kutatási irányok rövid megvitatásával és a szoftverrendszerek erős integritási és titkossági garanciáit biztosító egyéb tulajdonságok áttekintésével zárul.