Ahmad_A_Epistemic_Formulation_RH.pdf Download Tags: CMU July'15 security; non-interference; authorized declassi- fication; epistemic logic License: Creative Commons 2.5 Submitted by Jamie Hagerty on Mon, 12/05/2016 - 08:11