@inproceedings{perfectspy,
  title = "The perfect spy for model-checking crypto-protocols",
  author = "A. W. Roscoe and M.H. Goldsmith",
  year = "1997",
  booktitle = "{Proceedings of DIMACS workshop on the design and formal verification of crypto-protocols}",
  note = "\url{http://dimacs.rutgers.edu/workshops/program2/program.html}",
  url = "http://www.cs.ox.ac.uk/people/bill.roscoe/publications/63.pdf",
}