@article{roscoe1997perfect,
  title = "The perfect ‘spy’ for model-checking cryptoprotocols",
  author = "Roscoe, AW and Goldsmith, MH",
  year = "1997",
  journal = "Proceedings of DIMACS workshop on the design and formal verification of cryptographic protocols",
  volume = "574",
}