@inproceedings{PavlovicD:FMSE03,
  title = "Secure protocol composition (extended abstract)",
  author = "Anupam Datta and Ante Derek and John C. Mitchell and Dusko Pavlovic",
  year = "2003",
  booktitle = "Proceedings of FMCS 2003",
  editor = "Michael Backes and David Basin and Michael Waidner",
  pages = "11--23",
  publisher = "ACM",
}