@inproceedings{hauser:hal-00736045, TITLE = {{A taint marking approach to confidentiality violation detection}}, AUTHOR = {Hauser, Christophe and Tronel, Fr{\'e}d{\'e}ric and Reid, Jason and Fidge, Colin}, URL = {https://hal-supelec.archives-ouvertes.fr/hal-00736045}, BOOKTITLE = {{AISC 2012}}, ADDRESS = {Melbourne, Australia}, EDITOR = {ACS}, PUBLISHER = {{Pieprzyk, Josef \& Thomborson, Clark (Eds.)}}, SERIES = {CRPIT}, VOLUME = {125}, PAGES = {83-90}, YEAR = {2012}, MONTH = Jan, HAL_ID = {hal-00736045}, HAL_VERSION = {v1}, }