Non-interference with What-Declassification in Component-Based Systems.

Simon Greiner Daniel Grahl

Published in: CSF (2016)

Keyphrases

computer systems
artificial intelligence
computer vision
information systems
case study
complex systems
neural network
information technology
systems require
multipath
retrieval systems
wireless networks
management system
hidden markov models
natural language
data structure
database systems
learning algorithm