Keyphrases
- formal models
- computer security
- rule based systems
- formal model
- computer systems
- anomaly detection
- intrusion detection
- process model
- information security
- intrusion detection system
- network security
- network intrusion detection
- neural network
- computer forensics
- smart card
- expert systems
- data analysis
- machine learning
- data mining