A State-Based Approach to Non-Interference.

William D. Young William R. Bevier

Published in: CSFW (1994)

Keyphrases

data streams
state space
database
real world
data structure
multiresolution
data sets
user interface
dynamic programming