Noninterfering Schedulers - When Possibilistic Noninterference Implies Probabilistic Noninterference.

Andrei Popescu Johannes Hölzl Tobias Nipkow

Published in: CALCO (2013)

Keyphrases

security policies
bayesian networks
probabilistic model
data driven
probability theory
generative model
data sets
causal networks
access control
social networks
response time
grid computing
genetic algorithm
databases
possibilistic logic
database
probabilistic approaches