Program Transformation for Non-interference Verification on Programs with Pointers - Security and Privacy Protection in Information Processing Systems Access content directly
Conference Papers Year : 2013

Program Transformation for Non-interference Verification on Programs with Pointers

Abstract

Novel approaches for dynamic information flow monitoring are promising since they enable permissive (accepting a large subset of executions) yet sound (rejecting all insecure 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.
Fichier principal
Vignette du fichier
978-3-642-39218-4_18_Chapter.pdf (154.17 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00814671 , version 1 (17-04-2013)
hal-00814671 , version 2 (10-02-2017)

Licence

Attribution

Identifiers

Cite

Mounir Assaf, Julien Signoles, Frédéric Tronel, Eric Totel. Program Transformation for Non-interference Verification on Programs with Pointers. 28th Security and Privacy Protection in Information Processing Systems (SEC), Jul 2013, Auckland, New Zealand. pp.231-244, ⟨10.1007/978-3-642-39218-4_18⟩. ⟨hal-00814671v2⟩
811 View
483 Download

Altmetric

Share

Gmail Facebook X LinkedIn More