@article{CortierRZ-LMCS06,
  author = {V\'eronique Cortier and Micha\"el Rusinowitch and Eugen Zalinescu},
  title = {Relating two standard notions of secrecy},
  journal = {Logical Methods in Computer Science},
  year = 2007,
  volume = {3},
  number = {2},
  doi = {10.2168/LMCS-3(3:2)2007},
}