Complexity of fairness constraints for the Dolev-Yao attacker model.
Jan CederquistMohammad Torabi DashtiPublished in: SAC (2011)
Keyphrases
- computational model
- mathematical model
- similarity measure
- theoretical analysis
- theoretical framework
- machine learning
- statistical model
- constraint satisfaction
- conceptual model
- hidden markov models
- probabilistic model
- probability distribution
- model selection
- objective function
- experimental data
- prediction model
- space complexity