History-dependent inference control of queries by dynamic policy adaption

  • Authors:
  • Joachim Biskup

  • Affiliations:
  • Technische Universität Dortmund, Dortmund, Germany

  • Venue:
  • DBSec'11 Proceedings of the 25th annual IFIP WG 11.3 conference on Data and applications security and privacy
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

Policy-based inference control of queries submitted to a logicoriented 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.