A Temporal Logic Based Approach to Multi-Agent Intrusion Detection and Prevention
Collaborative systems research in the last decade have led to the development in several areas ranging from social computing, e-learning systems to management of complex computer networks. Intrusion Detection Systems (IDS) available today have a number of problems that limit their configurability, scalability or efficiency. An important shortcoming is that the existing architectures is built around a single entity that does most of the data collection and analysis. This paper introduces a new architecture for intrusion detection and prevention based on multiple autonomous agents working collectively. The authors adopt a temporal logic approach to signature-based intrusion detection.