@inproceedings{CapturingParallelAttacks,
  title = "Capturing parallel attacks within the data independence framework",
  author = "A. W. Roscoe and P. J. Broadfoot",
  year = "2002",
  booktitle = "{Proceedings of CSFW 15}",
  publisher = "{IEEE Press}",
  url = "http://www.cs.ox.ac.uk/people/bill.roscoe/publications/84.ps",
}