Protection d'une mémoire virtuelle répartie par capacités implicites

In many single address space operating systems, access to the distributed shared memory is often protected with password capabilities. Then, a user can manipulate these capabilities just like ordinary data. In this thesis, access control is still based on software capabilities, but the capabilities remain hidden to the user. This way, protection support can be added to an application with no need to modify the application code. These mechanisms have been implemented and evaluated within a prototype.Le contrôle d'accès d'une mémoire virtuelle répartie dans les systèmes à espace d'adressage uniforme est souvent réalisée par capacités logicielles à mot de passe. Ceci permet à l'utilisateur de manipuler les capacités comme des données banalisées. Cette thèse reprend l'idée de protection par capacités logicielles, mais en les cachant à l'utilisateur. On est alors capable d'ajouter la protection à une application répartie existante sans toucher au code de cette application. Les résultats sont étayés par la réalisation et l'évaluation d'un prototype