A taint marking approach to confidentiality violation detection - CentraleSupélec Access content directly
Conference Papers Year : 2012

A taint marking approach to confidentiality violation detection


This article presents a novel approach to confidentiality violation detection based on taint marking. Information flows are dynamically tracked between applications and objects of the operating system such as files, processes and sockets. A confidentiality policy is defined by labelling sensitive information and defining which information may leave the local system through network exchanges. Furthermore, per application profiles can be defined to restrict the sets of information each application may access and/or send through the network. In previous works, we focused on the use of mandatory access control mechanisms for information flow tracking. In this current work, we have extended the previous information flow model to track network exchanges, and we are able to define a policy attached to network sockets. We show an example application of this extension in the context of a compromised web browser: our implementation detects a confidentiality violation when the browser attempts to leak private information to a remote host over the network.
No file

Dates and versions

hal-00736045 , version 1 (27-09-2012)


  • HAL Id : hal-00736045 , version 1


Christophe Hauser, Frédéric Tronel, Jason Reid, Colin Fidge. A taint marking approach to confidentiality violation detection. AISC 2012, Jan 2012, Melbourne, Australia. pp.83-90. ⟨hal-00736045⟩
319 View
0 Download


Gmail Mastodon Facebook X LinkedIn More