@inproceedings{PavlovicD:CSFW04,
  title = "Abstraction and refinement in protocol derivation",
  author = "Anupam Datta and Ante Derek and John C. Mitchell and Dusko Pavlovic",
  year = "2004",
  booktitle = "Proceedings of CSFW 2004",
  editor = "Riccardo Focardi",
  pages = "30--47",
  publisher = "IEEE",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/CSFW04.ps",
}