Véronique Cortier Michaël Rusinowitch Eugen Zalinescu Relating two standard notions of secrecy. 2007 3 Logical Methods in Computer Science 3 http://dx.doi.org/10.2168/LMCS-3(3:2)2007 db/journals/lmcs/lmcs3.html#CortierRZ07