Mimicry attacks on host-based intrusion detection systems

This publication has 5 references indexed in Scilit:

• Enforceable security policies
  ACM Transactions on Information and System Security, 2000
• Bro: a system for detecting network intruders in real-time
  Computer Networks, 1999
• Temporal sequence learning and data reduction for anomaly detection
  ACM Transactions on Information and System Security, 1999
• The model checker SPIN
  IEEE Transactions on Software Engineering, 1997
• Symbolic Model Checking
  Published by Springer Nature ,1993