Generalized Abstract Non-interference: Abstract Secure Information-Flow Analysis for Automata.

Roberto Giacobazzi Isabella Mastroeni

Published in: MMM-ACNS (2005)

Keyphrases

flow analysis
higher level
domain knowledge
information flow
neural network
information sources
information processing
contextual information
data sets
digital libraries
spatial information
information sharing