Titre original :
Principles and Implementation Techniques of Software-Based Fault Isolation
Contenu du livre :
Lors de la protection d'un système informatique, il est souvent nécessaire d'isoler un composant non fiable dans un domaine de protection distinct et de ne fournir qu'une interaction contrôlée entre le domaine et le reste du système. L'isolation des défaillances basée sur le logiciel (SFI) établit un domaine de protection logique en insérant des contrôles dynamiques avant les instructions de transfert de mémoire et de contrôle.
Par rapport à d'autres mécanismes d'isolation, il présente les avantages d'une grande efficacité (moins de 5 % de surcoût de performance), d'être facilement applicable au code natif hérité et de ne pas dépendre d'un matériel spécial ou d'un support de système d'exploitation. La SFI a été appliquée avec succès dans de nombreuses applications, notamment l'isolation des extensions du noyau du système d'exploitation, l'isolation des plug-ins dans les navigateurs et l'isolation des bibliothèques natives dans la machine virtuelle Java.
Cette monographie traite de la politique SFI, de ses principales techniques de mise en œuvre et d'optimisation, ainsi que d'une formalisation SFI sur un langage d'assemblage idéalisé. Elle se termine par une brève discussion sur les orientations futures de la recherche et par un aperçu d'autres propriétés qui offrent de solides garanties d'intégrité et de confidentialité sur les systèmes logiciels.
Autres informations sur le livre :
| ISBN : | 9781680833447 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Broché |
Achat:
Actuellement disponible, en stock.
