Canonical Narrowing with Irreducibility Constraints as a Symbolic Protocol Analysis Method.
Santiago EscobarJosé MeseguerPublished in: Foundations of Security, Protocols, and Equational Reasoning (2019)
Keyphrases
- detection method
- similarity measure
- experimental evaluation
- probabilistic model
- classification method
- cost function
- computational cost
- canonical form
- segmentation method
- statistical analysis
- high accuracy
- co occurrence
- computationally efficient
- theoretical analysis
- clustering method
- significant improvement
- synthetic data
- evolutionary algorithm
- preprocessing
- high precision
- formal analysis
- feature selection