@article{EmbeddingAgents,
  title = "Embedding agents within the intruder to detect parallel attacks",
  author = "A. W. Roscoe and P.J. Broadfoot",
  year = "2004",
  journal = "{Journal of Computer Security}",
  number = "3-4",
  pages = "379-408",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/86.pdf",
  volume = "12",
}