A formal analysis of information disclosure in data exchange

DOI10.1016/J.JCSS.2006.10.004MaRDI QIDQ878760zbMATH OpenOpenAlexFDO

Authors Gerome Miklau, Dan Suciu

Publication date 26 April 2007

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jcss.2006.10.004

zbMATH Keywords

database securityinference controlinformation disclosureprivacy

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• Logical foundations of information disclosure in ontology-based data integration
• Fair exchange of valuable information: a generalised framework
• Information disclosure in the framework of Kolmogorov complexity
• Formal treatment of verifiable privacy-preserving data-aggregation protocols
• Typed Lambda Calculi and Applications
• A formal model of data privacy
• The study of a mathematical model in information acquisition and disclosure

Cites work

• 10.1162/jmlr.2003.3.4-5.679
• A formal analysis of information disclosure in data exchange
• A Mathematical Theory of Communication
• Answering queries using views: A survey
• Communication Theory of Secrecy Systems*
• Correlation inequalities on some partially ordered sets
• Database Theory - ICDT 2005
• Database Theory - ICDT 2005
• scientific article; zbMATH DE number 3915608 (Why is no real title available?)
• scientific article; zbMATH DE number 854547 (Why is no real title available?)
• k-ANONYMITY: A MODEL FOR PROTECTING PRIVACY
• Probabilities on finite models

Cited in

(14)

• Logical foundations of information disclosure in ontology-based data integration
• Query evaluation on a database given by a random graph
• A method of eliminating information disclosure in view publishing
• Data Privacy for $\mathcal{ALC}$ Knowledge Bases
• Denials leak information: simulatable auditing
• Characterisations of multivalued dependency implication over undetermined universes
• Basic Definitions and Test Scenarios
• DNA-inspired information concealing: a survey
• Queries and materialized views on probabilistic databases
• A sound and complete model-generation procedure for consistent and confidentiality-preserving databases
• Controlled query evaluation in description logics through consistent query answering
• Enhancing cooperativity in controlled query evaluation over ontologies
• A formal analysis of information disclosure in data exchange
• Reasoning about XML update constraints

This page was built for publication: A formal analysis of information disclosure in data exchange

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q878760)