Login / Signup
Two Formal Approaches for Approximating Noninterference Properties.
Alessandro Aldini
Mario Bravetti
Alessandra Di Pierro
Roberto Gorrieri
Chris Hankin
Herbert Wiklicky
Published in:
FOSAD (2002)
Keyphrases
</>
formal language
desirable properties
strengths and weaknesses
information retrieval
artificial intelligence
three dimensional
information systems
alternative approaches
digital libraries
multiscale
image processing
database
genetic algorithm
machine learning
real world
neural network
databases