Intrusion detection in distributed systems : an abstraction-based approach - Ning, Peng. (Kluwer Academic Publishers, 2004)