Using CSP to Detect Insertion and Evasion Possibilities within the Intrusion Detection Area - Rohrmair, G; Lowe, G (Springer, 2002)