@article{PavlovicD:JCS04,
  author = "Nancy Durgin and John Mitchell and Dusko Pavlovic",
  journal = "J. of Comp. Security",
  number = "4",
  pages = "677--721",
  title = "A compositional logic for proving security properties of protocols",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/JCS03.pdf",
  volume = "11",
  year = "2004",
}