@inproceedings{PavlovicD:CSFW03,
  title = "A derivation system for security protocols and its logical formalization",
  author = "Anupam Datta and Ante Derek and John C. Mitchell and Dusko Pavlovic",
  year = "2003",
  booktitle = "Proceedings of CSFW 2003",
  editor = "Dennis Volpano",
  pages = "109--125",
  publisher = "IEEE",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/CSFW03.pdf",
}