Supervision : Bertil FOLLIOT

Isolation des extensions de systèmes d'exploitation dans une machine virtuelle

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.

Phd defence : 09/24/2009

Jury members :

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
M. Pierre-Guillaume Raverdy, Ingénieur de Recherche à l'I.N.R.I.A.
M. Pierre Sens, Professeur à l'Université Pierre & Marie Curie
M. Gaël Thomas, Maître de Conférences à l'Université Pierre & Marie Curie

2005-2009 Publications

• 2009
  • Ch. Clément : “Isolation des extensions de systèmes d’exploitation dans une machine virtuelle”, thesis, phd defence 09/24/2009, supervision Folliot, Bertil (2009)
  • N. Geoffray, G. Thomas, Ch. Clément, B. Folliot, G. Muller : “VMKit: a Substrate for Virtual Machines”, 25 pages (2009)
• 2008
  • G. Thomas, N. Geoffray, Ch. Clément, B. Folliot : “Designing Highly Flexible Virtual Machines: The JnJVM Experience”, Software: Practice and Experience, vol. 38 (15), pp. 1643-1675, (Wiley) (2008)
  • N. Geoffray, G. Thomas, Ch. Clément, B. Folliot : “A Lazy Developer Approach: Building a JVM with Third Party Software”, International Conference on Principles and Practice of Programming In Java (PPPJ '08), Modena, Italy, pp. 73-82, (ACM) (2008)
  • N. Geoffray, G. Thomas, Ch. Clément, B. Folliot : “Towards a New Isolation Abstraction for OSGi”, First Workshop on Isolation and Integration in Embedded Systems (IIES 2008), Glasgow, Scotland, United Kingdom, pp. 41-45, (ACM) (2008)
• 2005
  • Ch. Clément, B. Folliot : “Ordonnanceurs hiérarchiques adaptables”, MajecStic 2005 - 3^e manifestation des jeunes Chercheurs en Sciences et Technologies de l'Information et de la Communication, Rennes, France, pp. 339-345 (2005)