On PDG-based noninterference and its modular proof.

Daniel Wasserrab Denis Lohner Gregor Snelting

Published in: PLAS (2009)

Keyphrases

security policies
neural network
linear logic
modular structure
modular neural networks
case study
multiresolution
learning algorithm
artificial intelligence
search engine
social networks
decision making
reinforcement learning
multi agent
theorem prover
automated theorem proving