Opacity with Orwellian Observers and Intransitive Non-interference.

John Mullins Moez Yeddes

Published in: CoRR (2013)

Keyphrases

multipath
real time
web services
bayesian networks
hidden markov models
foreground and background