Privacy Analysis with a Distributed Transition System and a Data-Wise Metric - Archive ouverte HAL Access content directly
Conference Papers Year : 2022

Privacy Analysis with a Distributed Transition System and a Data-Wise Metric

Sabine Frittella
Benjamin Nguyen

Abstract

We introduce a logical framework DLTTS (Distributed Labeled Tagged Transition System), built using concepts from Proba- bilistic Automata, Probabilistic Concurrent Systems, and Probabilistic labelled transition systems. We show that DLTTS can be used to formally model how a given piece of private information P (e.g. a tuple) stored in a given database D protected by generalization and/or noise addition mechanisms, can get captured progressively by an agent repeat- edly querying D, by using additional non-private data, as well as knowl- edge deducible with a more general notion of adjacency based on metrics defined ‘value-wise’; such metrics also play a role in differentially private protection mechanisms.
No file

Dates and versions

hal-03767722 , version 1 (02-09-2022)

Identifiers

  • HAL Id : hal-03767722 , version 1

Cite

Siva Anantharaman, Sabine Frittella, Benjamin Nguyen. Privacy Analysis with a Distributed Transition System and a Data-Wise Metric. Privacy in Statistical Databases (PSD), Sep 2022, PARIS, France. pp.15--30. ⟨hal-03767722⟩
60 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More