Suivi de flux d'information correct sous Linux - Sorbonne Université
Communication Dans Un Congrès Année : 2017

Suivi de flux d'information correct sous Linux

Résumé

À l’échelle des systèmes d’exploitation, le contrôle de flux d’information porte sur la façon dont les données circulent entre des objets tels que les pro- cessus, les fichiers, les sockets réseau, etc. afin de prévenir les fuites et mo- difications illégales d’information. La maîtrise des flux d’information peut servir de multiples objectifs si l’on peut garantir la qualité des implémenta- tions des moniteurs de flux d’information. Nous avons étudié Laminar [3], KBlare [6] et Weir [2], des moniteurs de flux d’information dont l’implé- mentation repose sur l’interface des Linux Security Modules (LSM). Même si LSM a été conçu à l’origine pour le contrôle d’accès [5], ces implémenta- tions laissent à penser que cette interface offre, d’un point de vue pratique, un bon support pour l’implémentation d’un moniteur de flux d’information. Nous examinons donc ici la question suivante : Est-il possible d’implémenter de manière fiable le contrôle de flux d’information sous Linux en se basant sur LSM? Nous décrivons ici deux axes de réflexion, l’un ayant conduit à vérifier une condition nécessaire, l’autre à proposer une condition suffisante pour répondre à cette question. Nous décrivons aussi Rfblare, la principale contribution pratique issue de ces travaux. Rfblare est une nouvelle version du suivi de flux d’information de KBlare résistante aux conditions de concur- rence entre appels système.

Mots clés

Fichier principal
Vignette du fichier
AFADL 2017.pdf (103.87 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01535937 , version 1 (27-06-2017)

Licence

Copyright (Tous droits réservés)

Identifiants

  • HAL Id : hal-01535937 , version 1

Citer

Laurent Georget, Mathieu Jaume, Guillaume Piolle, Frédéric Tronel, Valérie Viet Triem Tong. Suivi de flux d'information correct sous Linux. 16èmes journées AFADL (Approches formelles dans l'assistance au développement de logiciels), Jun 2017, Montpellier, France. pp.19-26. ⟨hal-01535937⟩
496 Consultations
246 Téléchargements

Partager

More