@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}, }