Formalizing Probabilistic Noninterference.

Andrei Popescu Johannes Hölzl Tobias Nipkow

Published in: CPP (2013)

Keyphrases

probabilistic model
generative model
bayesian networks
probabilistic logic
probabilistic approaches
information theoretic
conditional probabilities
uncertain data
security policies
data sets
search engine
metadata
image sequences
objective function
multiresolution
hidden markov models