Selected results and related issues of confidentiality-preserving controlled interaction execution
confidentialityconstraint satisfactionproof theorybeliefcompletenessfirst-order logicinformation systemknowledgemodel theorytheorem provingquery answeringdistortionlyingmonitoringnon-monotonic reasoningguarded commandspolicyrelational databasea priori knowledgeinformation flow controlinference controlprogram executionweakeningrefusalcensorclient stateevaluated secrecyinteraction historypossibilistic secrecyrational reasoningsecurity automatonsecurity invariantupdate processingview publishing
- 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
- The impossibility of keeping secrets
- Enforcing Confidentiality in Relational Databases by Reducing Inference Control to Access Control
This page was built for publication: Selected results and related issues of confidentiality-preserving controlled interaction execution
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2807082)