Implementing Cryptographic Primitives in the Symbolic Model.

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