Inference-Proof Monotonic Query Evaluation and View Generation Reconsidered - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2020

Inference-Proof Monotonic Query Evaluation and View Generation Reconsidered

Joachim Biskup
  • Function : Author
  • PersonId : 1010042


The concept of inference-proofness has been introduced for capturing strong confidentiality requirements—including privacy concerns—of an information owner, communicating with a semi-honest partner by means of their message exchanging computing agents according to some agreed interaction protocols. Such protocols include closed-query evaluation and view generation by the information system agent under the control of the information owner, and the corresponding request preparation by the client agent. The information owner employs a security mechanism for controlled interactions, shielding the epistemic state of the information system agent and suitably altering messages sent to the client agent. The alterings provably guarantee that the partner cannot infer the validity of any piece of information that the information owner has declared as being prohibited. Based on selected previous work, we carefully describe and inspect the underlying function and attack scenario and summarize and analyze basic approaches for controlled interactions within an abstract framework for epistemic states.
Fichier principal
Vignette du fichier
496047_1_En_5_Chapter.pdf (342.96 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03243627 , version 1 (31-05-2021)


Attribution - CC BY 4.0



Joachim Biskup. Inference-Proof Monotonic Query Evaluation and View Generation Reconsidered. 34th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jun 2020, Regensburg, Germany. pp.79-99, ⟨10.1007/978-3-030-49669-2_5⟩. ⟨hal-03243627⟩
13 View
3 Download



Gmail Facebook Twitter LinkedIn More