Systematic Classification of Attackers via Bounded Model Checking.
Eric Rothstein MorrisSun JunSudipta ChattopadhyayPublished in: VMCAI (2020)
Keyphrases
- bounded model checking
- pattern recognition
- classification systems
- decision trees
- support vector machine
- benchmark datasets
- classification accuracy
- pattern classification
- classification method
- machine learning
- feature space
- classification scheme
- classification models
- feature extraction
- multi class
- model selection
- training samples
- feature selection
- automatic classification
- classification algorithm
- support vector
- data sets
- feature vectors
- training set
- preprocessing