Skip to Main content Skip to Navigation

Moniteur hybride de flux d'information pour un langage supportant des pointeurs

Mounir Assaf 1, 2, * Julien Signoles 1 Frédéric Tronel 2 Eric Totel 2
* Corresponding author
1 LSL - Laboratoire Sûreté des Logiciels
DILS - Département Ingénierie Logiciels et Systèmes : DRT/LIST/DILS
2 CIDRE - Confidentialité, Intégrité, Disponibilité et Répartition
CentraleSupélec, Inria Rennes – Bretagne Atlantique , IRISA-D1 - SYSTÈMES LARGE ÉCHELLE
Abstract : Novel approaches for dynamic information flow monitoring are promising since they enable permissive (accepting a large subset of executions) yet sound (rejecting all unsecure executions) enforcement of non-interference. In this paper, we present a dynamic information flow monitor for a language supporting pointers. Our flow-sensitive monitor relies on prior static analysis in order to soundly enforce non-interference. We also propose a program transformation that preserves the behavior of initial programs and soundly inlines our security monitor. This program transformation enables both dynamic and static verification of non-interference.
Document type :
Complete list of metadata

Cited literature [14 references]  Display  Hide  Download
Contributor : Frédéric Tronel Connect in order to contact the contributor
Submitted on : Wednesday, July 3, 2013 - 4:53:28 PM
Last modification on : Tuesday, October 19, 2021 - 11:58:54 PM
Long-term archiving on: : Wednesday, April 5, 2017 - 7:00:52 AM


Files produced by the author(s)


  • HAL Id : hal-00841048, version 1


Mounir Assaf, Julien Signoles, Frédéric Tronel, Eric Totel. Moniteur hybride de flux d'information pour un langage supportant des pointeurs. [Rapport de recherche] RR-8326, INRIA. 2013, pp.25. ⟨hal-00841048⟩



Record views


Files downloads