A Machine Learning Approach with Verification of Predictions and Assisted Supervision for a Rule-Based Network Intrusion Detection System.
José Ignacio Fernández-VillamorMercedes GarijoPublished in: WEBIST (1) (2008)
Keyphrases
- expert systems
- data driven
- model checking
- active learning
- person identification
- temporal logic
- rule base
- handwritten signature verification
- databases
- concurrent systems
- fingerprint verification
- signature verification
- formal analysis
- multi step
- rule based systems
- confidence intervals
- online auctions
- search algorithm
- e learning
- genetic algorithm
- neural network