Hybrid Monitors for Concurrent Noninterference.

Aslan Askarov Stephen Chong Heiko Mantel

Published in: CSF (2015)

Keyphrases

hybrid learning
artificial intelligence
bayesian networks
database
neural network
decision making
mobile robot
security policies
mutual exclusion
hybrid approaches
concurrent execution