Alert Verification Determining the Success of Intrusion Attempts.

Christopher Krügel William K. Robertson

Published in: DIMVA (2004)

Keyphrases

alert correlation
intrusion detection
model checking
intrusion detection system
formal verification
anomaly detection
verification method
real time
neural network
evolutionary algorithm
multiscale
network security
signature verification
information quality
success factors
attack graph