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
IRISA-D1 - SYSTÈMES LARGE ÉCHELLE, Inria Rennes – Bretagne Atlantique , CentraleSupélec
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 :
Reports
Complete list of metadatas

Cited literature [14 references]  Display  Hide  Download

https://hal.inria.fr/hal-00841048
Contributor : Frédéric Tronel <>
Submitted on : Wednesday, July 3, 2013 - 4:53:28 PM
Last modification on : Thursday, February 7, 2019 - 4:53:14 PM
Long-term archiving on : Wednesday, April 5, 2017 - 7:00:52 AM

File

RR8326.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00841048, version 1

Citation

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⟩

Share

Metrics

Record views

638

Files downloads

180