Riccardo Focardi Comparing Two Information Flow Security Properties. 116-122 1996 conf/csfw/1996 CSFW http://csdl.computer.org/comp/proceedings/csfw/1996/7522/00/75220116abs.htm db/conf/csfw/csfw1996.html#Focardi96