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