Automatic Derivation of Platform Noninterference Properties.

Oliver Schwarz Mads Dam

Published in: SEFM (2016)

Keyphrases

semi automatic
key properties
artificial intelligence
decision making
fully automatic
case study
data driven
data structure
labor intensive
security policies
structural properties
digital libraries
real time
decision trees
genetic algorithm
machine learning
real world
databases