@inproceedings{IntensionalSpecifications,
  title = "Intensional specifications of security protocols",
  author = "A. W. Roscoe",
  year = "1996",
  booktitle = "{Proceedings of 1996 IEEE Computer Security Foundations Workshop}",
  publisher = "{IEEE Computer Society Press}",
  url = "http://www.cs.ox.ac.uk/people/bill.roscoe/publications/61.ps",
}