@inproceedings{CortierRZ-CSL06,
  author = {V\'eronique Cortier and Micha\"el Rusinowitch and Eugen Zalinescu},
  title = {Relating two standard notions of secrecy},
  booktitle = {20th International Conference on Computer Science Logic (CSL'06)},
  year = 2006,
  pages = {303--318},
  series = {Lecture Notes in Computer Science},
  volume = {4207},
  publisher = {Springer},
  doi = {10.1007/11874683_20},
}