Formal Approaches to Information-Hiding (Tutorial) - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2008

Formal Approaches to Information-Hiding (Tutorial)


In this survey paper we consider the class of protocols for information-hiding which use randomization to obfuscate the link between the observables and the information to be protected. We focus on the problem of formalizing the notion of information hiding, and verifying that a given protocol achieves the intended degree of protection. Without the pretense of being omni-comprehensive, we review the main approaches that have been explored in literature: possibilistic, probabilistic, information-theoretic, and statistical.
Fichier principal
Vignette du fichier
tgc.pdf (190.94 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00261827 , version 1 (10-03-2008)



Romain Beauxis, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden. Formal Approaches to Information-Hiding (Tutorial). Trustworthy Global Computing, Nov 2007, Sophia-Antipolis, France. pp.347-362, ⟨10.1007/978-3-540-78663-4_23⟩. ⟨inria-00261827⟩
118 View
155 Download



Gmail Facebook Twitter LinkedIn More