Using data−independence in the analysis of intrusion detection systems - Rohrmair, G; Lowe, G (2005)