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

From International Center for Computational Logic

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

Talk by Michaël Thomazo
Joint work with M. Benedikt, P. Bourhis, L. Jachiet


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 talk, I'll discuss the impact that source constraints can have on disclosure analysis.

Speaker bio: Michaël Thomazo (Inria, DI ENS, ENS, CNRS, PSL University)