Finite-State Noiseless Covert Channels.

Jonathan K. Millen

Published in: CSFW (1989)

Keyphrases

finite state
markov chain
markov decision processes
model checking
information flow
noisy data
optimal policy
transition systems
tree automata
action sets
partially observable markov decision processes
vector quantizer
long run
state space
search algorithm
learning algorithm
machine learning