Formal Approaches to Information-Hiding (Tutorial)

Abstract. In this survey paper we consider the class of protocols for informationhiding 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.

• Type: Conference
• Year: 2007
• Where: TGC
• Authors: Romain Beauxis, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden
• Keywords: Applied Computing, Information Hiding, Intended Degree, Survey Paper, TGC 2007