Constructing Inference-Proof Belief Mediators - Biskup, Joachim; Tadros, Cornelia (Data and Applications Security and Privacy XXIX, 2015)
Keywords: Attacker simulation; Computer security; Controlled interaction execution; Declassification; Inference control; Information architecture; Information flow control; Integrated belief; Mediation; Multiagent system; Reasoning; Security policy