Probabilistic Noninterference for Multi-Threaded Programs.

Andrei Sabelfeld David Sands

Published in: CSFW (2000)

Keyphrases

multi threaded
operating system
multi core processors
bayesian networks
information flow
computer architecture
real time
multithreading
probabilistic model
parallel programming
general purpose
data processing