j'ai le plaisir de vous inviter à ma soutenance de thèse, intitulée :
"Isolation des extensions de systèmes d'exploitation dans une machine virtuelle"
qui sera présentée le jeudi 24 Septembre 2009 à 09h30 au Laboratoire
d'Informatique de Paris 6 (LIP6), situé au 104 avenue du Président
Kennedy, 75016 Paris, salle 847, ainsi qu'au pot qui suivra.
Plan d'accès : http://www.lip6.fr/informations/comment.php
Composition du jury :
M. Didier Donsez, Professeur à l'Université Joseph Fourier, Grenoble 1 (Rapporteur)
M. Gilles Grimaud, Professeur à l'Université des Sciences et Technologies de Lille (Rapporteur)
M. Bertil Folliot, Professeur à l'Université Pierre & Marie Curie (Directeur)
M. Pierre-Guillaume Raverdy, Ingénieur de Recherche à l'I.N.R.I.A. (Examinateur)
M. Pierre Sens, Professeur à l'Université Pierre & Marie Curie (Examinateur)
M. Gaël Thomas, Maître de Conférences à l'Université Pierre & Marie Curie (Encadrant)
Résumé :
Cette thèse présente une nouvelle architecture de système, µvm-OS qui assure
l'isolation mémoire des extensions de noyau de système d'exploitation en
s'appuyant sur une machine virtuelle. Cette architecture repose sur
l'utilisation de la sûreté de typage et la portée des langages de programmation
pour assurer le cloisonnement de la mémoire entre le système et les différents
pilotes de périphériques. µvm-OS possède aussi une hiérarchie de privilège
logicielle dont le but est d'autoriser l'accès aux ressources aux seuls
composants authentifiés de la plate-forme. Deux prototypes sont présentés : le
premier, fonctionnant sur une machine nue, est un système à part entière tirant
partie de cette architecture. Le second prototype est inclus dans un noyau
existant, ce qui permet d'utiliser notre système tout en bénéficiant d'un
environnement complet.
--
Charles Clément
http://lip6.fr/Charles.Clement
UPMC - LIP6
Bureau 821
Tél : 01 44 27 87 68
104, avenue du Président Kennedy, 75016 Paris
Aucun commentaire:
Enregistrer un commentaire