PIGA-OS : retour sur le système d'exploitation vainqueur du défi sécurité

Jérémy Briffaut (1) , Martin Peres (1) , Jonathan Rouzaud-Cornabas (1) , Jigar Solanki (1, 2) , Christian Toinard (1) , Benjamin Venelle (1)

1 LIFO - Laboratoire d'Informatique Fondamentale d'Orléans
2 LaBRI - Laboratoire Bordelais de Recherche en Informatique

Le partage d'un système d'exploitation par différents domaines pose des problèmes de sécurité difficiles à résoudre tout particulièrement pour le poste de travail d'un Internaute. Par exemple, le système d'exploitation doit empêcher les flux d'information entre des données ou processus relevants du domaine ecommerce et des données ou processus d'un domaine mail à risques. Pour résoudre ces problèmes, il est nécessaire de fournir un système d'exploitation garantissant une sécurité en profondeur en contrôlant dynamiquement les différents domaines requis par l'utilisateur. L'approche proposée dans PIGA-OS est une protection obligatoire à tous les niveaux du système avec une méthode dynamique qui adapte les protections en fonction des domaines rencontrés. L'article décrit comment PIGA-OS garantit des propriétés de confidentialité et d'intégrité très avancées c'est à dire pouvant né- cessiter le contrôle de combinaisons complexes de flux d'information indirects. PIGA-OS constitue à notre connaissance la première solution opérationnelle offrant une protection obligatoire en profondeur multi-domaines et elle a remporté les trois phases du défi sécurité de l'ANR.

Mots clés: Système d'exploitations; sécurité; protection mandataire

Domaines: Cryptographie et sécurité [cs.CR]; Système d'exploitation [cs.OS]

Jérémy Briffaut, Martin Peres, Jonathan Rouzaud-Cornabas, Jigar Solanki, Christian Toinard, et al.. PIGA-OS : retour sur le système d'exploitation vainqueur du défi sécurité. RenPar'20 / SympA'14 / CFSE 8, 8ème Conférence Francaise en Systèmes d'Exploitation, May 2011, Saint-Malo, France. ⟨hal-00804275⟩