A Temporal Logic Based Framework for Intrusion Detection.
Prasad NaldurgKoushik SenPrasanna ThatiPublished in: FORTE (2004)
Keyphrases
- intrusion detection
- intrusion detection system
- anomaly detection
- network security
- network traffic
- information security
- network intrusion detection
- computer security
- information retrieval
- probabilistic model
- high detection rate
- false positives and false negatives
- alert correlation
- artificial immune
- lightweight
- data mining
- fraud detection
- computer networks
- cyber security
- data processing
- real world