IPCEI-CIS - Telco Cloud

Coordinateur : Gilles Grimaud CRIStAL

Équipe : 2XS du Groupe Thématique : SISE.

Dates : 01/01/2024 - 31/03/2027

Résumé :

Le proto-noyai Pip développé à l’Université de Lille fournit des propriétés d’isolation des partitions mémoire d’une machine. Différentes versions de ce noyau de système d’exploitation ont été produites, allant des serveurs de calcul aux microcontrôleurs. Selon les contraintes matérielles, les interfaces des ces systèmes évoluent, mais les propriétés de sécurité prouvées restent essentiellement les mêmes.

Le but de ce projet est d’extraire une interface abstraite qui constituera une spécification abstraite des services d’isolation, au cœur de la sécurité informatique. Cette interface doit permettre de raisonner en termes de sécurité sur des logiciels déployés sur des systèmes hétérogènes tout en préservant et en propageant leurs propriétés de sécurité, en les rapprochant de la notion de Security Level Agreement (SLA).

Abstract :

The Pip proto-kernel developed at the University of Lille provides memory partition isolation properties for a machine. Different versions of this operating system kernel have been produced, ranging from compute servers to microcontrollers. Depending on hardware constraints, the interfaces of these systems evolve, but the proven security properties remain essentially the same.

The goal of this project is to extract an abstract interface that will constitute an abstract specification of isolation servives at the heart of computer security. This interface should allow reasoning in terms of security for software deployed on heterogeneous systems while preserving and propagating their security properties, bringing them closer to the notion of Security Level Agrrement (SLA).