An Epistemic Logic Based Framework for Reasoning about Information Hiding

I. Goriac. An Epistemic Logic Based Framework for Reasoning about Information Hiding. In Sixth International Conference on Availability, Reliability and Security, ARES 2011, Vienna, Austria, August 22-26, 2011. pages 286-293, IEEE, 2011. [doi]

Abstract

Abstract is missing.