Skip to Main content Skip to Navigation
Conference papers

Information Flow Tracking for Linux Handling Concurrent System Calls and Shared Memory

Laurent Georget 1 Mathieu Jaume 2 Guillaume Piolle 1 Frédéric Tronel 1 Valérie Viet Triem Tong 1
1 CIDRE - Confidentialité, Intégrité, Disponibilité et Répartition
CentraleSupélec, Inria Rennes – Bretagne Atlantique , IRISA-D1 - SYSTÈMES LARGE ÉCHELLE
2 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : Information flow control can be used at the Operating System level to enforce restrictions on the diffusion of security-sensitive data. In Linux, information flow trackers are often implemented as Linux Security Modules. They can fail to monitor some indirect flows when flows occur concurrently and affect the same containers of information. Furthermore, they are not able to monitor the flows due to file mappings in memory and shared memory between processes. We first present two attacks to evade state-of-the-art LSM-based trackers. We then describe an approach, formally proved with Coq to perform information flow tracking able to cope with concurrency and in-memory flows. We demonstrate its implementability and usefulness in Rfblare, a race condition-free version of the flow tracking done by KBlare.
Complete list of metadatas

Cited literature [12 references]  Display  Hide  Download

https://hal.sorbonne-universite.fr/hal-01535949
Contributor : Mathieu Jaume <>
Submitted on : Friday, June 9, 2017 - 5:29:56 PM
Last modification on : Wednesday, April 8, 2020 - 3:44:57 PM
Document(s) archivé(s) le : Monday, January 22, 2018 - 10:35:48 PM

File

sefm2017.pdf
Files produced by the author(s)

Identifiers

Citation

Laurent Georget, Mathieu Jaume, Guillaume Piolle, Frédéric Tronel, Valérie Viet Triem Tong. Information Flow Tracking for Linux Handling Concurrent System Calls and Shared Memory. 15th International Conference on Software Engineering and Formal Methods (SEFM 2017), Sep 2017, Trento, Italy. pp.1-16, ⟨10.1007/978-3-319-66197-1_1⟩. ⟨hal-01535949⟩

Share

Metrics

Record views

1503

Files downloads

568