A model for secure protocols and their compositions.

Nevin Heintze J. Doug Tygar

Published in: IEEE Symposium on Security and Privacy (1994)

Keyphrases

computational model
probabilistic model
mathematical model
high level
cost function
theoretical analysis
simulation model
formal model
data sets
neural network
information retrieval
objective function
prior knowledge
process model
experimental data
neural network model