Relating two standard notions of secrecy. (2007)

by Veronique Cortier, Michael Rusinowitch, Eugen Zalinescu
Venue:Logical Methods in Computer Science,