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