Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method.
Raúl López-RuedaSantiago EscobarPublished in: WRLA@ETAPS (2022)
Keyphrases
- high accuracy
- computational cost
- pairwise
- detection method
- significant improvement
- cost function
- experimental evaluation
- high level
- classification method
- statistical analysis
- dynamic programming
- preprocessing
- objective function
- support vector machine
- data analysis
- lightweight
- support vector machine svm
- multiscale
- segmentation method
- statistical model
- neural network
- high precision