Capacity Verification for High Speed Network Intrusion Detection Systems.
Mike HallKevin WileyPublished in: RAID (2002)
Keyphrases
- high speed
- network intrusion detection systems
- intrusion detection
- intrusion detection system
- network intrusion
- low power
- network intrusion detection
- real time
- formal verification
- databases
- high dimensional
- model checking
- high speed networks
- low cost
- database systems
- bayesian networks
- verification method
- high capacity
- face verification
- signature verification
- formal methods
- data mining
- pattern recognition