Keyphrases
- model checking
- rule sets
- intrusion detection system
- intrusion detection
- redundant rules
- anomaly detection
- artificial intelligence
- association rules
- search engine
- databases
- rule induction
- rule learning
- database
- knowledge base
- high security
- asynchronous circuits
- formal verification
- signature verification
- nearest neighbour
- classification rules
- computer vision
- case study
- web services