@inproceedings{PavlovicD:ARSPA06,
  title = "Proving Authentication Properties in the {Protocol Derivation Assistant}",
  author = "Matthias Anlauff and Dusko Pavlovic and Richard Waldinger and Stephen Westfold",
  year = "2006",
  booktitle = "Proceedings of FCS-ARSPA 2006",
  editor = "Pierpaolo Degano and Ralph {K\"{u}sters} and Luca Vigano",
  publisher = "ACM",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/FCS-ARSPA06.pdf",
}