Login / Signup
Implementing Cryptographic Primitives in the Symbolic Model.
Peeter Laud
Published in:
NASA Formal Methods (2011)
Keyphrases
</>
high level
computational model
experimental data
probabilistic model
sensitivity analysis
cost function
theoretical analysis
mathematical model
machine learning
information systems
decision trees
objective function
prior knowledge
process model
simulation model
object model