Intrusion Detection in Distributed Systems An Abstraction-Based Approach - Peng Ning; Jajodia, Sushil; Wang, Xiaoyang Sean (Springer US, 2004)