Skip to Main content Skip to Navigation
Conference papers

History-Dependent Inference Control of Queries by Dynamic Policy Adaption

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [11 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Wednesday, September 13, 2017 - 8:56:01 AM
Last modification on : Wednesday, September 13, 2017 - 2:28:20 PM
Long-term archiving on: : Thursday, December 14, 2017 - 12:22:20 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Joachim Biskup. History-Dependent Inference Control of Queries by Dynamic Policy Adaption. 23th Data and Applications Security (DBSec), Jul 2011, Richmond, VA, United States. pp.106-121, ⟨10.1007/978-3-642-22348-8_10⟩. ⟨hal-01586585⟩



Record views


Files downloads