Relating two standard notions of secrecy.

Eugen Zalinescu Véronique Cortier Michaël Rusinowitch Relating two standard notions of secrecy. 2006 Trustworthy Software http://drops.dagstuhl.de/opus/volltexte/2006/691 conf/dagstuhl/2006P6000 db/conf/dagstuhl/P6000.html#ZalinescuCR06