Using CSP to Detect Insertion and Evasion Possibilities within the Intrusion Detection Area. - Gordon Thomas Rohrmair; Gavin Lowe (FASec, 2002)

Using data-independence in the analysis of intrusion detection systems. - Gordon Thomas Rohrmair; Gavin Lowe (Theor. Comput. Sci., 2005)

Use of CSP to verify security-critical applications. - Gordon Thomas Rohrmair (2005)