Weakening the Dolev-Yao model through probability.

Riccardo Bresciani Andrew Butterfield

Published in: SIN (2009)

Keyphrases

cost function
high level
probability distribution
sensitivity analysis
formal model
management system
computational model
multiscale
mathematical model
neural network
decision making
control system
conceptual model
probability density function
simulation model