Skip to Main content Skip to Navigation
Conference papers

Reasoning about disclosure in data integration in the presence of source constraints

Michael Benedikt 1 Pierre Bourhis 2 Louis Jachiet 2 Michaël Thomazo 3
2 SPIRALS - Self-adaptation for distributed services and large software systems
Inria Lille - Nord Europe, CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
3 VALDA - Value from Data
DI-ENS - Département d'informatique - ENS Paris, Inria de Paris
Abstract : Data integration systems allow users to access data sitting in multiple sources by means of queries over a global schema, related to the sources via mappings. Data sources often contain sensitive information, and thus an analysis is needed to verify that a schema satisfies a privacy policy, given as a set of queries whose answers should not be accessible to users. Such an analysis should take into account not only knowledge that an attacker may have about the mappings, but also what they may know about the semantics of the sources. In this paper, we show that source constraints can have a dramatic impact on disclosure analysis. We study the problem of determining whether a given data integration system discloses a source query to an attacker in the presence of constraints, providing both lower and upper bounds on source-aware disclosure analysis.
Complete list of metadata
Contributor : Louis Jachiet Connect in order to contact the contributor
Submitted on : Monday, December 14, 2020 - 1:54:15 PM
Last modification on : Friday, January 21, 2022 - 3:17:34 AM


Files produced by the author(s)


  • HAL Id : hal-02145369, version 3
  • ARXIV : 1906.00624


Michael Benedikt, Pierre Bourhis, Louis Jachiet, Michaël Thomazo. Reasoning about disclosure in data integration in the presence of source constraints. IJCAI 2019 - 28th International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China. ⟨hal-02145369v3⟩



Les métriques sont temporairement indisponibles