Constructing Inference-Proof Belief Mediators

Conference paper

DOI: 10.1007/978-3-319-20810-7_12

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9149)
Cite this paper as:
Biskup J., Tadros C. (2015) Constructing Inference-Proof Belief Mediators. In: Samarati P. (eds) Data and Applications Security and Privacy XXIX. DBSec 2015. Lecture Notes in Computer Science, vol 9149. Springer, Cham


An information owner might interact with cooperation partners regarding its belief, which is derived from a collection of heterogeneous data sources and can be changed according to perceptions of the partners’ actions. While interacting, the information owner willingly shares some information with a cooperation partner but also might want to keep selected pieces of information confidential. This requirement should even be satisfied if the partner as an intelligent and only semi-honest attacker attempts to infer hidden information from accessible data, also employing background knowledge. For this problem of inference control, we outline and discuss a solution by means of a sophisticated mediator agent. Based on forming an integrated belief from the underlying data sources, the design adapts and combines known approaches to language-based information flow control and controlled interaction execution for logic-based information systems.


Attacker simulation Security policy Controlled interaction execution Declassification Inference control Information flow control Integrated belief Mediation Multiagent system Reasoning 

Copyright information

© IFIP International Federation for Information Processing 2015

Authors and Affiliations

  1. 1.Fakultät für InformatikTechnische Universität DortmundDortmundGermany

Personalised recommendations