A Machine-Checked Formalization of the Random Oracle Model.

Gilles Barthe Sabrina Tarento

Published in: TYPES (2004)

Keyphrases

formal model
cost function
theoretical framework
mathematical model
network model
website
multi agent systems
sensitivity analysis
hybrid model
case study
high level
expert systems
theoretical analysis
neural network model