Using data-independence in the analysis of intrusion detection systems (Theoretical Computer Science, 2005)

(untitled) - Rohrmair, G; Lowe, G