Intrusion Detection In Distributed Systems: An Abstraction-Based Approach presents research contr...