Algorithmic Verification of Noninterference Properties.

Ron van der Meyden Chenyi Zhang

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

model checking
desirable properties
decision making
multimedia
high level
data structure
probabilistic model
probability distribution