Implementing a Unification Algorithm for Protocol Analysis with XOR
Max TuengerthalRalf KüstersMathieu TuruaniPublished in: CoRR (2006)
Keyphrases
- high accuracy
- dynamic programming
- computational cost
- learning algorithm
- times faster
- detection algorithm
- higher order
- experimental evaluation
- np hard
- search space
- probabilistic model
- data sets
- selection algorithm
- improved algorithm
- significant improvement
- preprocessing
- particle swarm optimization
- lightweight
- computationally efficient
- theoretical analysis
- optimization algorithm
- data analysis
- data streams
- recognition algorithm