@inproceedings{CortierWZ-ESORICS07,
  author = {V\'eronique Cortier and Bogdan Warinschi and Eugen Zalinescu},
  title = {Synthesizing secure protocols},
  booktitle = {12th European Symposium On Research In Computer Security (ESORICS'07)},
  year = 2007,
  pages = {406--421},
  series = {Lecture Notes in Computer Science},
  volume = {4734},
  publisher = {Springer},
  doi = {10.1007/978-3-540-74835-9_27},
}