Analysing TLS in the strand spaces model.
Allaa KamilGavin LowePublished in: J. Comput. Secur. (2011)
Keyphrases
- computational model
- parameter estimation
- mathematical model
- cost function
- probability distribution
- hybrid model
- object model
- prediction model
- theoretical analysis
- probabilistic model
- databases
- access control
- evolutionary algorithm
- objective function
- high level
- decision making
- hierarchical structure
- formal model
- social networks
- learning algorithm
- neural network