@inproceedings{provingSecurityProtocols,
  title = "Proving security protocols with model checkers by data independence techniques",
  author = "A. W. Roscoe",
  year = "1998",
  booktitle = "{Proceedings of CSFW 1998}",
  publisher = "{IEEE Press}",
  url = "http://www.cs.ox.ac.uk/people/bill.roscoe/publications/67.pdf",
}