Modular Reasoning about Differential Privacy in a Probabilistic Process Calculus

Lili Xu 1
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 : The verification of systems for protecting sensitive and confidential information is becoming an increasingly important issue. Differential privacy is a promising notion of privacy originated from the community of statistical databases, and now widely adopted in various models of computation. We consider a probabilistic process calculus as a specification formalism for concurrent systems, and we propose a framework for reasoning about the degree of differential privacy provided by such systems. In particular, we investigate the preservation of the degree of privacy under composition via the various operators. We illustrate our idea by proving an anonymity-preservation property for a variant of the Crowds protocol for which the standard analyses from the literature are inapplicable. Finally, we make some preliminary steps towards automatically computing the degree of privacy of a system in a compositional way.
Type de document :
Communication dans un congrès
Catuscia Palamidessi, Mark Ryan. 7th International Symposium on Trustworthy Global Computing (TGC), Sep 2012, Newcastle upon Tyne, United Kingdom. Springer, 8191, pp.198-212, 2013, Lecture Notes in Computer Science
Liste complète des métadonnées

Littérature citée [27 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00691284
Contributeur : Catuscia Palamidessi <>
Soumis le : mardi 4 décembre 2012 - 14:28:33
Dernière modification le : jeudi 10 mai 2018 - 02:06:47
Document(s) archivé(s) le : samedi 17 décembre 2016 - 19:59:27

Fichier

Modular_Reasoning_about_Differ...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00691284, version 3

Collections

Citation

Lili Xu. Modular Reasoning about Differential Privacy in a Probabilistic Process Calculus. Catuscia Palamidessi, Mark Ryan. 7th International Symposium on Trustworthy Global Computing (TGC), Sep 2012, Newcastle upon Tyne, United Kingdom. Springer, 8191, pp.198-212, 2013, Lecture Notes in Computer Science. 〈hal-00691284v3〉

Partager

Métriques

Consultations de la notice

420

Téléchargements de fichiers

193