Modular Reasoning about Differential Privacy in a Probabilistic Process Calculus - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2012

Modular Reasoning about Differential Privacy in a Probabilistic Process Calculus

Résumé

Differential privacy is a notion of privacy originated from the community of statistical databases, and now widely adopted for the protection of confidential information in systems of various nature. We consider a probabilistic process calculus as a specification formalism for concurrent systems, and we establish a framework for reasoning about the degree of differential privacy provided by such systems. We give a compositional method to compute the conditional probabilities that relate the secret and the public information, and we investigate the constructs which do not decrease the degree of privacy under composition.
Fichier principal
Vignette du fichier
concur.pdf (187.92 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00691284 , version 1 (25-04-2012)
hal-00691284 , version 2 (27-07-2012)
hal-00691284 , version 3 (04-12-2012)

Identifiants

  • HAL Id : hal-00691284 , version 1

Citer

Lili Xu, Catuscia Palamidessi. Modular Reasoning about Differential Privacy in a Probabilistic Process Calculus. [Research Report] 2012, pp.21. ⟨hal-00691284v1⟩
316 Consultations
430 Téléchargements

Partager

Gmail Facebook X LinkedIn More