%0 Conference Proceedings
%T Constructing Inference-Proof Belief Mediators
%+ Technische Universität Dortmund [Dortmund] (TU)
%A Biskup, Joachim
%A Tadros, Cornelia
%Z Part 4: Authentication and Information Integration
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 29th IFIP Annual Conference on Data and Applications Security and Privacy (DBSEC)
%C Fairfax, VA, United States
%Y Pierangela Samarati
%I Springer International Publishing
%3 Data and Applications Security and Privacy XXIX
%V LNCS-9149
%P 188-203
%8 2015-07-13
%D 2015
%R 10.1007/978-3-319-20810-7_12
%K Attacker simulation
%K Security policy
%K Controlled interaction execution
%K Declassification
%K Inference control
%K Information flow control
%K Integrated belief
%K Mediation
%K Multiagent system
%K Reasoning
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%Z TC 11
%Z WG 11.3
%2 https://inria.hal.science/hal-01745830/document
%2 https://inria.hal.science/hal-01745830/file/340025_1_En_12_Chapter.pdf
%L hal-01745830
%U https://inria.hal.science/hal-01745830
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC11
%~ IFIP-WG11-3
%~ IFIP-DBSEC
%~ IFIP-LNCS-9149