Proving Abstract Non-interference.

Roberto Giacobazzi Isabella Mastroeni

Published in: CSL (2004)

Keyphrases

high level
information retrieval
social networks
low level
multipath
computer vision
artificial neural networks
special case
knowledge level