Termination-Insensitive Noninterference Leaks More Than Just a Bit.

Aslan Askarov Sebastian Hunt Andrei Sabelfeld David Sands

Published in: ESORICS (2008)

Keyphrases

automatic identification
leak detection
information flow
security policies
term rewriting
multi agent
block cipher
active rules
random number generator
magnetic tape
random access memory
bit vector
logical operations
real time
data model
website
search engine
neural network