Optimality and Complexity of Inference-Proof Data Filtering and CQE

  • Joachim Biskup
  • Piero A. Bonatti
  • Clemente Galdi
  • Luigi Sauro
Conference paper

DOI: 10.1007/978-3-319-11212-1_10

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8713)
Cite this paper as:
Biskup J., Bonatti P.A., Galdi C., Sauro L. (2014) Optimality and Complexity of Inference-Proof Data Filtering and CQE. In: Kutyłowski M., Vaidya J. (eds) Computer Security - ESORICS 2014. ESORICS 2014. Lecture Notes in Computer Science, vol 8713. Springer, Cham

Abstract

The ample literature on confidentiality-preserving data publishing – and controlled query evaluation (CQE) in particular – leaves several questions open. Are the greedy data-filtering algorithms adopted in the literature maximally cooperative? Can novel secure view formats or answer distortion methods improve security or cooperativeness? What is the inherent complexity of confidentiality-preserving data publishing under different constraints, such as cooperativeness and availability? Can the theoretical results on CQE be systematically extended to more general settings? In this paper we answer the above questions using a completely generic, abstract data filtering framework, independent from any syntactic details and data source encodings, and compatible with all possible distortion methods. Some of the main results are: Refusal-based filterings can be adopted as a normal form for all kinds of filterings; greedy refusal-based filterings are optimal; cooperativeness checks and some availability checks are coNP-hard in the simplest case.

Keywords

Controlled query evaluation Maximally cooperative filterings Refusals and lies 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Joachim Biskup
    • 1
  • Piero A. Bonatti
    • 2
  • Clemente Galdi
    • 2
  • Luigi Sauro
    • 2
  1. 1.Fakultät für InformatikTU DortmundGermany
  2. 2.Dip. Ing. Elet. e Tecnologie dell’InformazioneUniversità di Napoli Federico IIItaly

Personalised recommendations