Compartimentation dynamique imbriquée pour objets contraints

Abstract

Ce papier présente un framework pour mettre en place une compartimentation imbriquée pour objets contraints. Tous les espaces mémoire compartimentés sont protégés par la Memory Protection Unit (MPU). Ce framework permet de prendre en compte le dynamisme des nouvelles applications sur objets contraints telle que la création temporaire d'un sous-espace mémoire protégé. Nous appliquons ce framework sur trois noyaux existants et montrons une protection des ressources équivalente. Nous proposons une implémentation de ce framework par l'utilisation de la MPU afin de créer et gérer ces sous-espaces selon un modèle de permission dynamique.