Justifying a Dolev-Yao Model Under Active Attacks.
Michael BackesBirgit PfitzmannMichael WaidnerPublished in: FOSAD (2004)
Keyphrases
- model selection
- parameter estimation
- management system
- prior knowledge
- neural network
- prediction model
- statistical model
- mathematical model
- cost function
- computational model
- probability distribution
- network model
- simulation model
- database
- probabilistic model
- control system
- expert systems
- objective function
- information systems
- data sets