Security Mechanisms on operating system level play a major role in modern
virtualization environments:
Memory Separation, control of shared memory, control of send-receive
event relations between specific groups of threads and processes
(or generally speking: information flow properties) have to be enforced on
different layers of abstraction.
Based on prior experience of model-based testing of security infrastructures
with HOL-TestGen system, this Phd work attempts to adapt and extend model-based
testing techniques to Operating-system level security mechanisms.
Context
This Phd is part of the EU Integrated Project EURO-MILLS (consisting of
14 partners in Germany, Austria, Belgium, France, the Netherlands)
whose primary goal is to provide a small virtualization platform
(based on the operating system PikeOS) intended to allow the secure
decomposition of complex embedded systems into independent components.
The secondary goal is to achieve EAL7 certification for this virtualization
platform by applying formal verification; for this purpose, a combination
of proof and test techniques is envisaged, where the Partner U-PSud plays
a major role.
Objectives
- Develop Security Models relating to the (Isabelle)Pike-OS Model
to be developed.
- Develop specific testing techniques and infrastructure
for test-generation in the context of OS systems.
Work program
Extra information
Prerequisite
- Knowledge in Formal Methods, Logic, Functional Programming
- Interest in Modeling and Programming with Isabelle/HOL
Détails
Expected funding
Institutional funding
Status of funding
Expected
Candidates
Utilisateur
burkhart.wolff
Créé
Mardi 15 mai 2012 18:53:46 CEST
dernière modif.
Mardi 15 mai 2012 18:53:46 CEST
Fichiers joints
filename
créé
hits
filesize
Aucun fichier joint à cette fiche
Connexion
Ecole Doctorale Informatique Paris-Sud
Directrice
Nicole Bidoit Assistante
Stéphanie Druetta Conseiller aux thèses
Dominique Gouyou-Beauchamps
ED 427 - Université Paris-Sud
UFR Sciences Orsay
Bat 650 - aile nord - 417
Tel : 01 69 15 63 19
Fax : 01 69 15 63 87
courriel: ed-info à lri.fr