%0 Conference Proceedings
%T History-Dependent Inference Control of Queries by Dynamic Policy Adaption
%+ Technische Universität Dortmund [Dortmund] (TU)
%A Biskup, Joachim
%Z Part 5: Data Confidentiality and Query Verification
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 23th Data and Applications Security (DBSec)
%C Richmond, VA, United States
%Y Yingjiu Li
%I Springer
%3 Data and Applications Security and Privacy XXV
%V LNCS-6818
%P 106-121
%8 2011-07-11
%D 2011
%R 10.1007/978-3-642-22348-8_10
%K a priori knowledge
%K closed query
%K confidentiality policy
%K Controlled Query Evaluation
%K inference control
%K information system
%K interaction history
%K policy adaption
%K propositional logic
%K refusal
%K view
%Z Computer Science [cs]Conference papers
%X Policy-based inference control of queries submitted to a logic-oriented information system requires us to consider the history of queries and answers to a particular user. In most previous approaches, the control system captures the history by maintaining a fictitious view the user is supposed to generate by exploiting rational reasoning. In this paper, we propose and explore an alternative option to represent the history, namely by suitably adapting the confidentiality policy after returning an answer to a query. Basically, such a policy adaption precomputes all relevant steps of formal proofs that the fictitious view logically implies some policy element. We focus on propositional information systems.
%G English
%Z TC 11
%Z WG 11.3
%2 https://inria.hal.science/hal-01586585/document
%2 https://inria.hal.science/hal-01586585/file/978-3-642-22348-8_10_Chapter.pdf
%L hal-01586585
%U https://inria.hal.science/hal-01586585
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC11
%~ IFIP-WG11-3
%~ IFIP-DBSEC
%~ IFIP-LNCS-6818