Formal Approaches to Information-Hiding (Tutorial)

Romain Beauxis 1 Konstantinos Chatzikokolakis 1 Catuscia Palamidessi 1 Prakash Panangaden 2
1 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR7161
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.
Type de document :
Communication dans un congrès
Gilles Barthe and Cédric Fournet. Trustworthy Global Computing, Nov 2007, Sophia-Antipolis, France. Springer, 4912, pp.347-362, 2008, Lecture Notes in Computer Science. 〈10.1007/978-3-540-78663-4_23〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00261827
Contributeur : Catuscia Palamidessi <>
Soumis le : lundi 10 mars 2008 - 02:55:18
Dernière modification le : jeudi 10 mai 2018 - 02:06:00
Document(s) archivé(s) le : vendredi 28 septembre 2012 - 10:55:57

Fichier

tgc.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Romain Beauxis, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden. Formal Approaches to Information-Hiding (Tutorial). Gilles Barthe and Cédric Fournet. Trustworthy Global Computing, Nov 2007, Sophia-Antipolis, France. Springer, 4912, pp.347-362, 2008, Lecture Notes in Computer Science. 〈10.1007/978-3-540-78663-4_23〉. 〈inria-00261827〉

Partager

Métriques

Consultations de la notice

267

Téléchargements de fichiers

135