Formal Approaches to Information-Hiding (Tutorial)

Romain Beauxis 1 Konstantinos Chatzikokolakis 1 Catuscia Palamidessi 1 Prakash Panangaden 2
1 COMETE - Concurrency, Mobility and Transactions
Inria Saclay - Ile de France, LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
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 : mercredi 14 novembre 2018 - 16:10:03
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

274

Téléchargements de fichiers

135