Cryptographically-Sound Protocol-Model Abstractions.

Christoph Sprenger David A. Basin

Published in: CSF (2008)

Keyphrases

mathematical model
probabilistic model
high level
cost function
theoretical framework
statistical model
experimental data
formal model
databases
multi agent
probability distribution
input data
lightweight
conceptual model
agent model