Keyphrases
- computer security
- information security
- computer systems
- anomaly detection
- intrusion detection
- model checking
- intrusion detection system
- network security
- formal verification
- network intrusion detection
- verification method
- computer vision
- modular structure
- information systems
- smart card
- data management
- data analysis
- data streams
- learning algorithm
- computer forensics