A Computational Indistinguishability Logic for the Bounded Storage Model.

Gilles Barthe Mathilde Duclos Yassine Lakhnech

Published in: FPS (2011)

Keyphrases

probabilistic model
mathematical model
computational model
formal model
prior knowledge
high level
relational databases
management system
theoretical analysis
database
decision making
statistical model
network structure
neuro fuzzy