Foundations of Information and Knowledge Systems
DOI10.1007/11663881zbMATH Open1177.68064OpenAlexW4212786759MaRDI QIDQ5898537FDOQ5898537
Authors: Joachim Biskup, P. A. Bonatti
Publication date: 12 February 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11663881
Recommendations
- Controlled query evaluation with open queries for a decidable relational submodel
- 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
Finite model theoryRelational databaseFirst-order logicConfidentialityGuarded fragmentCompleteness testControlled query evaluationDomain-independent queryImplication problemLyingOpen queryRefusalSafe queryBernays-Schönfinkel classComplete information system
Database theory (68P15) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Logic in computer science (03B70)
Cited In (4)
- Confidentiality policies and their enforcement for controlled query evaluation
- On the finite controllability of conjunctive query answering in databases under open-world assumption
- Controlled query evaluation for known policies by combining lying and refusal
- Controlled query evaluation with open queries for a decidable relational submodel
This page was built for publication: Foundations of Information and Knowledge Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5898537)