@article{PavlovicD:JCS05,
  author = "Anupam Datta and Ante Derek and John Mitchell and Dusko Pavlovic",
  journal = "J. of Comp. Security",
  pages = "423--482",
  title = "A derivation system and compositional logic for security protocols",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/JCS05.pdf",
  volume = "13",
  year = "2005",
}