Accelerated Verification of Parametric Protocols with Decision Trees.
Yongjian LiTaifeng CaoDavid N. JansenJun PangXiaotao WeiPublished in: ICCD (2020)
Keyphrases
- decision trees
- cryptographic protocols
- decision tree induction
- protocol specification
- model checking
- predictive accuracy
- decision tree algorithm
- random forest
- machine learning
- machine learning algorithms
- decision rules
- decision tree learning
- attribute selection
- rule induction
- naive bayes
- feature construction
- classification models
- communication protocol
- ensemble methods
- data mining methods
- neural network
- constructive induction
- classification rules
- database systems
- multivariate decision trees