Titre :

Sur la conception d'un service de changement de contexte et de sa preuve dans le proto-noyau Pip

Auteur(s) :

Vanhems, Florian [Auteur]
Extra Small Extra Safe [2XS]
Jomaa, Narjes [Auteur]
Extra Small Extra Safe [2XS]
Hym, Samuel [Auteur]
Extra Small Extra Safe [2XS]
Nowak, David [Auteur]
Extra Small Extra Safe [2XS]

Titre de la manifestation scientifique :

ENTROPY 2019

Ville :

Stockholm

Pays :

Suède

Date de début de la manifestation scientifique :

2019-06-19

Titre de la revue :

ENabling TRust through Os Proofs... and beYond - 2nd Internatonal Workshop, ENTROPY 2019, Stockholm, Sweden, June 16, 2019

Date de publication :

2019-06-16

Discipline(s) HAL :

Informatique [cs]/Systèmes et contrôle [cs.SY]
Informatique [cs]/Système d'exploitation [cs.OS]
Informatique [cs]/Logique en informatique [cs.LO]

Résumé en anglais : [en]

The Pip protokernel is a kernel whose trusted computing base is reduced to its bare bones. The goal of such minimisation is twofold: reduce the attack surface and reduce the cost of the formal proof of security. In particular, ...
Lire la suite >The Pip protokernel is a kernel whose trusted computing base is reduced to its bare bones. The goal of such minimisation is twofold: reduce the attack surface and reduce the cost of the formal proof of security. In particular, multiplexing is not implemented in the kernel but in a partition whose code is executed in user mode. This of course assumes that the kernel provides minimal services dedicated to signal sending. In this paper, we describe a streamlined service designed to allow for inter-partition communication through userland structures that mimic the traditional Interrupt Descriptor Table.Lire moins >

Langue :

Anglais

Comité de lecture :

Oui

Audience :

Internationale

Vulgarisation :

Non

Collections :

• Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189

Source :

Harvested from HAL