Protection in the Think exokernel

Christophe Rippert 1, 2, 3 Jean-Bernard Stefani 2
2 SARDES - System architecture for reflective distributed computing environments
Inria Grenoble - Rhône-Alpes, CNRS - Centre National de la Recherche Scientifique : FR71
3 POPS - System and Networking for Portable Objects Proved to be Safe
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe, IRCICA
Abstract : In this paper, we present our preliminary ideas concerning the adaptation of security and protection techniques in the Think exokernel. Think is our proposition of a distributed adaptable kernel, designed according to the exokernel architecture. After summing up the main motivations for using the exokernel architecture, we describe the Think exokernel as it has been implemented on a PowerPC machine. We then present the major protection and security techniques that we plan to adapt to the Think environment, and give an example of how some of these techniques can be combined with the Think model to provide fair and protected resource management. Finally, we briefly present the iPAQ Pocket PC to which we plan to port the Think exokernel and explain our interest in this kind of mobile devices.
Type de document :
Communication dans un congrès
4th CaberNet European Research Seminar on Advances in Distributed Systems, May 2001, Bertinoro, Italy
Liste complète des métadonnées

Littérature citée [19 références]  Voir  Masquer  Télécharger
Contributeur : Christophe Rippert <>
Soumis le : lundi 4 août 2008 - 08:33:50
Dernière modification le : vendredi 6 juillet 2018 - 10:08:02
Document(s) archivé(s) le : vendredi 5 octobre 2012 - 11:37:17


Fichiers produits par l'(les) auteur(s)


  • HAL Id : hal-00308882, version 1



Christophe Rippert, Jean-Bernard Stefani. Protection in the Think exokernel. 4th CaberNet European Research Seminar on Advances in Distributed Systems, May 2001, Bertinoro, Italy. 〈hal-00308882〉



Consultations de la notice


Téléchargements de fichiers