@article{PavlovicD:MFPS03,
  title = "Secure protocol composition",
  author = "Anupam Datta and Ante Derek and John Mitchell and Dusko Pavlovic",
  year = "2003",
  journal = "E. Notes in Theor. Comp. Sci.",
  pages = "87--114",
  url = "http://www1.elsevier.com/gej-ng/31/29/23/147/23/show/Products/notes/index.htt",
}