Improved typings for probabilistic noninterference in a multi-threaded language.

Published in: J. Comput. Secur. (2006)

Keyphrases

multi threaded
operating system
programming language
bayesian networks
real time
information flow
probabilistic model
computer architecture
multithreading
multi core processors
database systems