@inproceedings{conf/fasec/RohrmairL02,
  author = "Gordon Thomas Rohrmair and Gavin Lowe",
  booktitle = "Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers",
  editor = "Ali E. Abdallah and Peter Ryan and Steve Schneider",
  isbn = "3-540-20693-0",
  pages = "205-220",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  title = "Using CSP to Detect Insertion and Evasion Possibilities within the Intrusion Detection Area",
  url = "http://web.comlab.ox.ac.uk/oucl/work/gavin.lowe/Security/Papers/IDS.ps",
  volume = "2629",
  year = "2002",
}