Machine generated authority record.
Work cat.: (OSt): Ning P, Intrusion Detection in Distributed Systems: An Abstraction-Based Approach