Covert, possibilistic, probabilistic, quantifying
Interference, definition of covert channel, examples
Slides
Definition, possibilistic channels, state machines, processes
Examples, information theoretic channel, probabilistic interference channel, covert channels
Definition, quantified equivalences, quotients, partitions
What did we learn?