Formal Approaches to Information-Hiding (Tutorial)

Romain Beauxis 1 Konstantinos Chatzikokolakis 1 Catuscia Palamidessi 1 Prakash Panangaden
1 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France
Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/inria-00261827
Contributor : Catuscia Palamidessi <>
Submitted on : Monday, March 10, 2008 - 2:55:18 AM
Last modification on : Wednesday, March 27, 2019 - 4:41:28 PM
Long-term archiving on : Friday, September 28, 2012 - 10:55:57 AM

File

tgc.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

292

Files downloads

181