Extending noninterference properties to the timed world.

Jian Huang A. W. Roscoe

Published in: SAC (2006)

Keyphrases

neural network
desirable properties
databases
learning algorithm
expert systems
markov chain
model checking
world model
key properties
timed automata