An Epistemic Logic Based Framework for Reasoning about Information Hiding | IEEE Conference Publication | IEEE Xplore