Controlled query evaluation with open queries for a decidable relational submodel

DOI10.1007/S10472-007-9070-5MaRDI QIDQ2385449zbMATH OpenOpenAlexFDO

Authors Joachim Biskup, P. A. Bonatti

Publication date 12 October 2007

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10472-007-9070-5

zbMATH Keywords

Finite model theoryRelational databaseDescription logicFirst-order logicConfidentialityPropositional logicCombined methodCompleteness testControlled query evaluationDB-interpretationDomain-independent queryImplication problemLyingOpen queryRefusalSafe queryBernays-Schönfinkel class

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Database theory (68P15) Logic in computer science (03B70)

Recommendations

• Foundations of Information and Knowledge Systems
• Confidentiality policies and their enforcement for controlled query evaluation
• Controlled query evaluation for known policies by combining lying and refusal
• scientific article; zbMATH DE number 2080022
• Reducing inference control to access control for normalized database schemas

Cites work

• scientific article; zbMATH DE number 3915608 (Why is no real title available?)
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 2080022 (Why is no real title available?)
• scientific article; zbMATH DE number 2080301 (Why is no real title available?)
• scientific article; zbMATH DE number 194561 (Why is no real title available?)
• scientific article; zbMATH DE number 803291 (Why is no real title available?)
• scientific article; zbMATH DE number 839556 (Why is no real title available?)
• scientific article; zbMATH DE number 839558 (Why is no real title available?)
• scientific article; zbMATH DE number 1424043 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• scientific article; zbMATH DE number 965572 (Why is no real title available?)
• Answering queries without revealing secrets
• Controlled query evaluation for known policies by combining lying and refusal
• Cover story management
• Elements of finite model theory.
• For unknown secrecies refusal is better than lying
• Lying versus refusal for known potential secrets
• Solvable cases of the decision problem

Cited in

(11)

• Confidentiality policies and their enforcement for controlled query evaluation
• scientific article; zbMATH DE number 2080022 (Why is no real title available?)
• Foundations of Information and Knowledge Systems
• On the finite controllability of conjunctive query answering in databases under open-world assumption
• A sound and complete model-generation procedure for consistent and confidentiality-preserving databases
• Controlled query evaluation in description logics through consistent query answering
• Controlled query evaluation for known policies by combining lying and refusal
• A false sense of security
• Relational schemas with multiplicity bounds, diversity bounds and functional dependencies
• A universal approach to guarantee data privacy
• Combining Consistency and Confidentiality Requirements in First-Order Databases

This page was built for publication: Controlled query evaluation with open queries for a decidable relational submodel

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